( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Observations about Using Logic as a Specification Language.

. GULP-PRODE, стр. 61-70. (1995)

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.

Dale Adams

Aklilu Dalelo

Dale Rubbra

Dale Pearson

Jonathan Dale

 

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

Programming with Higher-Order Logic., и . Cambridge University Press, (2012)Uses of Higher-Order Unification for Implementing Program Transformers., и . ICLP/SLP, стр. 942-959. MIT Press, (1988)Well-Typed Languages are Sound., , и . CoRR, (2016)From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic., и . CSL, том 4646 из Lecture Notes in Computer Science, стр. 405-419. Springer, (2007)A Meta-Logic for Functional Programming., и . META, стр. 453-476. MIT Press, (1988)A Survey of the Proof-Theoretic Foundations of Logic Programming.. CoRR, (2021)Flexible Diff-ing in a Collaborative Writing System., , , , , и . CSCW, стр. 147-154. ACM, (1992)Proof Checking and Logic Programming.. LOPSTR, том 9527 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2015)Canonical Sequent Proofs via Multi-Focusing., , и . IFIP TCS, том 273 из IFIP, стр. 383-396. Springer, (2008)Encoding Generic Judgments., и . FSTTCS, том 2556 из Lecture Notes in Computer Science, стр. 18-32. Springer, (2002)