A First-Order Syntax for the -Calculus in Isabelle/HOL using Permutations

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.58, Iss.1, 2004-01, pp. : 1-17

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Using Isabelle/HOL to Verify First-Order Relativity Theory

By Stannett Mike Németi István

Journal of Automated Reasoning, Vol. 52, Iss. 4, 2014-04 ,pp. : 361-378

Springer Publishing Company

Access to resources Recommend Favorite

Design of abstract domains using first-order logic

By Marchiori E.

Theoretical Computer Science, Vol. 222, Iss. 1, 1999-07 ,pp. : 153-179

Elsevier

Access to resources Recommend Favorite

An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus

By Sandewall E.

LISP and Symbolic Computation, Vol. 12, Iss. 1, 1999-04 ,pp. : 105-113

Springer Publishing Company

Access to resources Recommend Favorite

Efficient training of high-order hidden Markov models using first-order representations

By du Preez J.A.

Computer Speech & Language, Vol. 12, Iss. 1, 1998-01 ,pp. : 23-39

Academic Press

Access to resources Recommend Favorite

A note on first-order projections and games

By Arratia A.A. Stewart I.A.

Theoretical Computer Science, Vol. 290, Iss. 3, 2003-01 ,pp. : 2085-2093

Elsevier

Access to resources Recommend Favorite