( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computations in Fragments of Intuitionistic Propositional Logic.

, , и . J. Autom. Reason., 7 (4): 537-561 (1991)

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.

Gerard de Melo

Gerard Meijer

Gérard Gäfgen

Gerard Spettel

Gerard Tangerding

 

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

Strong Completeness and Limited Canonicity for PDL., , и . J. Log. Lang. Inf., 18 (2): 291-292 (2009)Knowledge-Based Asynchronous Programming., , и . Fundam. Informaticae, 63 (2-3): 259-281 (2004)Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics., , , , и . J. Artif. Soc. Soc. Simul., (2013)Hybrid Logics with Infinitary Proof Systems., , и . J. Log. Comput., 16 (2): 161-175 (2006)Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification., и . Semantics of Specification Languages, стр. 340-355. Springer, (1993)LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K., и . VDM Europe (1), том 551 из Lecture Notes in Computer Science, стр. 279-308. Springer, (1991)Computations in Fragments of Intuitionistic Propositional Logic., , и . J. Autom. Reason., 7 (4): 537-561 (1991)Kekulé Cells for Molecular Computation, , , , , и . CoRR, (2007)Finite and infinite implementation of transition systems., и . Theor. Comput. Sci., (2012)Strictness Analysis via Abstract Interpretation for Recursively Defined Types. Inf. Comput., 99 (2): 154-177 (августа 1992)