Search Results

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

Author: Nguyen, Linh Anh

Source: Logic Journal of the IGPL, Volume 16, Number 2, April 2008 , pp. 175-193(19)

Publisher: Oxford University Press

Light affine lambda calculus and polynomial time strong normalization

Author: Terui, Kazushige

Source: Archive for Mathematical Logic, Volume 46, Numbers 3-4, April 2007 , pp. 253-280(28)

Publisher: Springer

Strong and uniform equivalence of nonmonotonic theories - an algebraic approach

Author: Truszczyński, Mirosław

Source: Annals of Mathematics and Artificial Intelligence, Volume 48, Numbers 3-4, December 2006 , pp. 245-265(21)

Publisher: Springer

Equilibrium logic

Author: Pearce, David

Source: Annals of Mathematics and Artificial Intelligence, Volume 47, Numbers 1-2, June 2006 , pp. 3-41(39)

Publisher: Springer

Conceptual logic programs

Authors: Heymans, Stijn; Nieuwenborgh, Davy; Vermeir, Dirk

Source: Annals of Mathematics and Artificial Intelligence, Volume 47, Numbers 1-2, June 2006 , pp. 103-137(35)

Publisher: Springer

Time and space in new public management reform: the case of geriatric care

Authors: RÃμm÷, Hans; SkÕlÚn, Per

Source: International Journal of Public Sector Management, Volume 19, Number 5, 2006 , pp. 513-525(13)

Publisher: Emerald Group Publishing Limited

Ground Nonmonotonic Modal Logic S5: New Results

Authors: Galindo, Mauricio Osorio; Pérez, Juan Antonio Navarro; Ramírez, José R. Arrazola; Macías, Verónica Borja

Source: Journal of Logic and Computation, Volume 15, Number 5, October 2005 , pp. 787-813(27)

Publisher: Oxford University Press

A Verification Logic for Rewriting Logic

Authors: Martí-Oliet, Narciso; Pita, Isabel; Fiadeiro, José Luiz; Meseguer, José; Maibaum, Tom

Source: Journal of Logic and Computation, Volume 15, Number 3, June 2005 , pp. 317-352(36)

Publisher: Oxford University Press

Static Analysis for State-Space Reductions Preserving Temporal Logics

Authors: Karen Yorav; Orna Grumberg

Source: Formal Methods in System Design, Volume 25, Number 1, July 2004 , pp. 67-96(30)

Publisher: Springer

Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming: Special Issue on Distributed and Mobile Software Engineering (Guest Editors: Carlo Ghezzi and Paola Inverardi)

Authors: Bettini L.; De Nicola R.; Loreti M.

Source: Automated Software Engineering, Volume 11, Number 3, June 2004 , pp. 245-288(44)

Publisher: Springer

Logics for Epistemic Programs

Authors: Baltag, Alexandru; Moss, Lawrence

Source: Synthese, Volume 139, Number 2, March 2004 , pp. 165-224(60)

Publisher: Springer

Monitoring Java Programs with Java PathExplorer

Authors: Havelund K.; Rosu G.

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

Publisher: Elsevier

Branching within Time: An Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity

Authors: Franceschet M.; Montanari A.

Source: Research on Language and Computation, Volume 1, Numbers 3-4, September 2003 , pp. 229-263(35)

Publisher: Springer

On feasible cases of checking multi-agent systems behavior

Authors: Dekhtyar M.; Dikovsky A.; Valiev M.

Source: Theoretical Computer Science, Volume 303, Number 1, 28 June 2003 , pp. 63-81(19)

Publisher: Elsevier

On temporal logic versus datalog

Authors: Guessarian I.; Foustoucos E.; Andronikos T.; Afrati F.

Source: Theoretical Computer Science, Volume 303, Number 1, 28 June 2003 , pp. 103-133(31)

Publisher: Elsevier

Modelling and simulation with neural and fuzzy-neural networks of switched circuits

Authors: Demir Y.; Uçar A.

Source: COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Volume 22, Number 2, 2003 , pp. 253-272(20)

Publisher: Emerald Group Publishing Limited

Program logic and equivalence in the presence of garbage collection

Authors: Calcagno C.; O'Hearn P.; Bornat R.

Source: Theoretical Computer Science, Volume 298, Number 3, 11 April 2003 , pp. 557-581(25)

Publisher: Elsevier

On the equational definition of the least prefixed point

Author: Santocanale L.

Source: Theoretical Computer Science, Volume 295, Number 1, 24 February 2003 , pp. 341-370(30)

Publisher: Elsevier

Alan Turing and the Mathematical Objection

Author: Piccinini G.

Source: Minds and Machines, Volume 13, Number 1, February 2003 , pp. 23-48(26)

Publisher: Springer

Coalgebras and monads in the semantics of Java

Authors: Jacobs B.; Poll E.

Source: Theoretical Computer Science, Volume 291, Number 3, 6 January 2003 , pp. 329-349(21)

Publisher: Elsevier