Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
intersection constraint » intersection constraints, interaction constraints, interactions constraints
constraint processing » content processing, concurrent processing, constraint preserving
programmed constructs » programming constructs, programme contract, programmed instructions
constructs loops » constructs lists, constructs coders, constructs core
1
Azala
Argitaratua 2008
Aurkibidea: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
Testu osoa
Baliabide elektronikoa eBook
Gogokoenen artean sartu
Gorde:
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali — Bilaketa gorde