Handbook of Tableau Methods, Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, eds.

Authors:
Maarten De Rijke
Affiliations:
ILLC, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands/ E-mail: mdr@science.uva.nl, URL: http://www.science.uva.nl/&sim/mdr
Venue:
Journal of Logic, Language and Information
Year:
2001

Citing 6
Cited 0

Handbook of logic in computer science (vol. 2): background: computational structures

Handbook of logic in computer science (vol. 2): background: computational structures
Handbook of formal languages, vol. 3: beyond words

Handbook of formal languages, vol. 3: beyond words
Handbook of Theoretical Computer Science

Handbook of Theoretical Computer Science
Handbook of Logic and Language

Handbook of Logic and Language
Handbook of Logic in Artificial Intelligence: Logic Programming

Handbook of Logic in Artificial Intelligence: Logic Programming
Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds.

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract