( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generalized support and formal development of constraint propagators.

, , и . AI Commun., 30 (5): 325-346 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Allen Caldwell

Allen Caldwell

Michael James

Audrein James

Katherine James

 

Другие публикации лиц с тем же именем

Extending dynamic constraint detection with disjunctive constraints., , , и . WODA, стр. 57-63. ACM, (2008)Generalized Support and Formal Development of Constraint Propagators., , и . CoRR, (2015)FACE Core Environment: The Model and Its Application in CAE/CAD Tool Development., , , , , , и . DAC, стр. 466-471. ACM Press, (1989)Programmable synthesis using a new "Speech microprocessor".. ICASSP, стр. 868-871. IEEE, (1980)Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude., , и . FAABS, том 1871 из Lecture Notes in Computer Science, стр. 180-193. Springer, (2000)Classical Propositional Decidability via Nuprl Proof Extraction.. TPHOLs, том 1479 из Lecture Notes in Computer Science, стр. 105-122. Springer, (1998)Generalized support and formal development of constraint propagators., , и . AI Commun., 30 (5): 325-346 (2017)Intuitionistic Tableau Extracted.. TABLEAUX, том 1617 из Lecture Notes in Computer Science, стр. 82-96. Springer, (1999)Extracting General Recursive Program Schemes in Nuprl's Type Theory.. LOPSTR, том 2372 из Lecture Notes in Computer Science, стр. 233-244. Springer, (2001)Search algorithms in type theory., , и . Theor. Comput. Sci., 232 (1-2): 55-90 (2000)