Search Results

Predicting and Detecting Symmetries in FOL Finite Model Search

Authors: Audemard, Gilles; Benhamou, Belaïd; Henocque, Laurent

Source: Journal of Automated Reasoning, Volume 36, Number 3, April 2006 , pp. 177-212(36)

Publisher: Springer

Bisimilarity for the Region Calculus

Author: Helsen, Simon

Source: LISP and Symbolic Computation, Volume 17, Number 4, December 2004 , pp. 347-394(48)

Publisher: Springer

On the Notion of SubstitutionPart of the material of this paper—mainly the proof of the completeness theorem—is already contained in [3].

Author: Crabbé, Marcel

Source: Logic Journal of the IGPL, Volume 12, Number 2, March 2004 , pp. 111-124(14)

Publisher: Oxford University Press

An Overview of the Runtime Verification Tool Java PathExplorer: Special Issue on Selected Papers from the First International Workshop on Runtime Verification Held in Paris, July 2001 (RV'01).

Authors: Havelund K.; Rou G.

Source: Formal Methods in System Design, Volume 24, Number 2, March 2004 , pp. 189-215(27)

Publisher: Springer

Bisimilarity as a Theory of Functional Programming

Author: Gordon A.D.

Source: Electronic Notes in Theoretical Computer Science, Volume 1, Number 1, January 2004 , pp. 1-21(21)

Publisher: Elsevier

Bi-rewriting Rewriting Logic

Author: Schorlemmer W.M.

Source: Electronic Notes in Theoretical Computer Science, Volume 4, Number 1, January 2004 , pp. 1-18(18)

Publisher: Elsevier

Disunification in ACI1 Theories

Authors: Dovier A.; Piazza C.; Pontelli E.

Source: Constraints, Volume 9, Number 1, 200401 , pp. 35-91(57)

Publisher: Springer

On the complexity of equational problems in CNF

Author: Pichler R.

Source: Journal of Symbolic Computation, Volume 36, Number 1, July 2003 , pp. 235-269(35)

Publisher: Elsevier

A new framework for declarative programming

Authors: Finkelstein S.E.; Freyd P.; Lipton J.

Source: Theoretical Computer Science, Volume 300, Number 1, 7 May 2003 , pp. 91-160(70)

Publisher: Elsevier

Explicit versus implicit representations of subsets of the Herbrand universe

Author: Pichler R.

Source: Theoretical Computer Science, Volume 290, Number 1, 1 January 2003 , pp. 1021-1056(36)

Publisher: Elsevier

Maude: specification and programming in rewriting logic

Authors: Clavel M.; Duran F.; Eker S.; Lincoln P.; Mart-Oliet N.; Meseguer J.; Quesada J.F.

Source: Theoretical Computer Science, Volume 285, Number 2, 28 August 2002 , pp. 187-243(57)

Publisher: Elsevier

Actor theories in rewriting logic

Author: Talcott C.

Source: Theoretical Computer Science, Volume 285, Number 2, 28 August 2002 , pp. 441-485(45)

Publisher: Elsevier

Equational rules for rewriting logic

Author: Viry P.

Source: Theoretical Computer Science, Volume 285, Number 2, 28 August 2002 , pp. 487-517(31)

Publisher: Elsevier

Subset-logic programs and their implementation

Authors: Jayaraman B.; Moon K.

Source: The Journal of Logic Programming, Volume 42, Number 2, February 2000 , pp. 71-110(40)

Publisher: Elsevier

An approach to declarative programming based on a rewriting logic

Authors: Gonzalez-Moreno J.C.; Hortala-Gonzalez M.T.; Lopez-Fraguas F.J.; Rodriguez-Artalejo M.

Source: The Journal of Logic Programming, Volume 40, Number 1, 1999 , pp. 47-87(41)

Publisher: Elsevier

E3: A logic for reasoning equationally in the presence of partiality

Authors: Morris J.M.; Bunkenburg A.

Source: Science of Computer Programming, Volume 34, Number 2, June 1999 , pp. 141-158(18)

Publisher: Elsevier

Formal specification of concurrent systems

Authors: Chadha H.S.; Baugh J.W.; Wing J.M.

Source: Advances in Engineering Software, Volume 30, Number 3, March 1999 , pp. 211-224(14)

Publisher: Elsevier

Bisimilarity as a theory of functional programming

Author: Gordon A.D.

Source: Theoretical Computer Science, Volume 228, Number 1, 28 October 1999 , pp. 5-47(43)

Publisher: Elsevier

Extracting and implementing list homomorphisms in parallel program development

Author: Gorlatch S.

Source: Science of Computer Programming, Volume 33, Number 1, January 1999 , pp. 1-27(27)

Publisher: Elsevier

Set Constraints in Some Equational Theories

Author: Charatonik W.

Source: Information and Computation, Volume 142, Number 1, 10 April 1998 , pp. 40-75(36)

Publisher: Elsevier