Sciweavers

Share
351 search results - page 1 / 71
» Nominal Equational Logic
Sort
View
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
13 years 1 months ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun
ENTCS
2007
99views more  ENTCS 2007»
12 years 9 months ago
Nominal Equational Logic
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
Ranald A. Clouston, Andrew M. Pitts
CORR
2010
Springer
105views Education» more  CORR 2010»
12 years 9 months ago
Nominal Unification from a Higher-Order Perspective
Abstract. Nominal Logic is an extension of first-order logic with equality, name-binding, name-swapping, and freshness of names. Contrarily to higher-order logic, bound variables a...
Jordi Levy, Mateu Villaret
LPAR
2005
Springer
13 years 3 months ago
Comparative Similarity, Tree Automata, and Diophantine Equations
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter,...
ENTCS
2007
135views more  ENTCS 2007»
12 years 9 months ago
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
André Platzer
books