( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Intensional Markup Language.

. DCW, том 1830 из Lecture Notes in Computer Science, стр. 82-89. Springer, (2000)

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.

Edmund Wadge

William W McCorkle

William W Emilsen

William Herz

William Cahill

 

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

Intermittent Assertion Proofs in Lucid., и . IFIP Congress, стр. 723-726. (1977)Minimum model semantics for logic programs with negation-as-failure., и . ACM Trans. Comput. Log., 6 (2): 441-467 (2005)Extensional Higher-Order Logic Programming, , , и . CoRR, (2011)An Infinite-Valued Semantics for Logic Programs with Negation., и . JELIA, том 2424 из Lecture Notes in Computer Science, стр. 456-467. Springer, (2002)The Dimensional Analysis of Data Flow Programs That Include Multidimensional and User-Defined Functions., , и . IEEE Big Data, стр. 2781-2789. IEEE, (2022)The Lazy Evaluation of Infinitesimal Logic Expressions., и . PLC, стр. 3-7. CSREA Press, (2005)A Relational Algebra as a Query Language for Temporal DATALOG., и . DEXA, стр. 276-281. Springer-Verlag, Wien, (1992)Lucid - A Formal System for Writing and Proving Programs., и . SIAM J. Comput., 5 (3): 336-354 (1976)Erratum: SIAM J. Comput. 6(1): 200 (1976).A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics., , и . ICLP, том 3668 из Lecture Notes in Computer Science, стр. 414-415. Springer, (2005)Extensional Higher-Order Logic Programming., , , и . ACM Trans. Comput. Log., 14 (3): 21:1-21:40 (2013)