Inf-datalog, Modal Logic and Complexities

Author： Foustoucos Eugénie Guessarian Irène

E-ISSN： 1290-385x|43|1|1-21

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.43, Iss.1, 2007-12, pp. : 1-21

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study

By Jacobs Bart

RAIRO - Theoretical Informatics and Applications, Vol. 35, Iss. 1, 2010-03 ,pp. : 31-59

Edp Sciences

Access to resources Recommend Favorite

CAFE complexities

Frontiers in Ecology and the Environment, Vol. 8, Iss. 9, 2010-11 ,pp. : 499-499

John Wiley & Sons Inc

Access to resources Recommend Favorite

Complexities in Understanding Ecosystem Response to Ozone

By Andersen Christian P. Grulke Nancy E.

Human and Ecological Risk Assessment, Vol. 7, Iss. 5, 2001-09 ,pp. : 1169-1182

Taylor & Francis Ltd

Access to resources Recommend Favorite

Bouquets of circles for lamination languages and complexities

By Narbel Philippe

RAIRO - Theoretical Informatics and Applications, Vol. 48, Iss. 4, 2014-10 ,pp. : 391-418

Edp Sciences

Access to resources Recommend Favorite

Modal identification approach to multi-modal cancellation

By Baumann David C. Greiner R.A.

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 1992, Iss. 3, 1992-07 ,pp. : 341-344

Institute of Noise Control Engineering

Access to resources Recommend Favorite