Journal of Logic and Computation

Articles

Irène Guessarian

Editorial
J Logic Computation 2002 12: 215; doi:10.1093/logcom/12.2.215 [PDF] [Request Permissions]  

Jirí Adámek

Final Coalgebras are Ideal Completions of Initial Algebras
J Logic Computation 2002 12: 217-242; doi:10.1093/logcom/12.2.217 [Abstract] [PDF] [Request Permissions]  

Danièle Beauquier and Alexander Rabinovich

Monadic Logic of Order over Naturals has no Finite Base
J Logic Computation 2002 12: 243-253; doi:10.1093/logcom/12.2.243 [Abstract] [PDF] [Request Permissions]  

Mads Dam and Dilian Gurov

µ-Calculus with Explicit Points and Approximations
J Logic Computation 2002 12: 255-269; doi:10.1093/logcom/12.2.255 [Abstract] [PDF] [Request Permissions]  

Zoltán Ésik

Continuous Additive Algebras and Injective Simulations of Synchronization Trees
J Logic Computation 2002 12: 271-300; doi:10.1093/logcom/12.2.271 [Abstract] [PDF] [Request Permissions]  

Flavio Corradini, Rocco De Nicola, and Anna Labella

An Equational Axiomatization of Bisimulation over Regular Expressions
J Logic Computation 2002 12: 301-320; doi:10.1093/logcom/12.2.301 [Abstract] [PDF] [Request Permissions]  

Mathieu Jaume

On Greatest Fixpoint Semantics of Logic Programming
J Logic Computation 2002 12: 321-342; doi:10.1093/logcom/12.2.321 [Abstract] [PDF] [Request Permissions]  

Forthcoming Papers
J Logic Computation 2002 12: 343-344; doi:10.1093/logcom/12.2.343 [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.