One quantifier alternation in first-order logic with modular predicates∗

Author： Kufleitner Manfred   Walter Tobias  

Publisher： Edp Sciences

E-ISSN： 1290-385x|49|1|1-22

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.49, Iss.1, 2015-03, pp. : 1-22

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

Analytical solution for networks of irreversible first-order reactions

By Eykholt G.R.  

Water Research, Vol. 33, Iss. 3, 1999-02 ,pp. : 814-826

Elsevier

Access to resources Recommend Favorite

On Existentially First-Order Definable Languages and Their Relation to NP

By Borchert Bernd   Kuske Dietrich   Stephan Frank  

RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 3, 2010-03 ,pp. : 259-269

Edp Sciences

Access to resources Recommend Favorite

Computing the jth solution of a first-order query

By Bagan Guillaume   Durand Arnaud   Grandjean Etienne   Olive Frédéric  

RAIRO - Theoretical Informatics and Applications, Vol. 42, Iss. 1, 2008-01 ,pp. : 147-164

Edp Sciences

Access to resources Recommend Favorite

An Evaluation of Aerobic Trichloroethene Attenuation Using First-Order Rate Estimation

By Sorenson Kent S.   Peterson Lance N.   Hinchee Robert E.   Ely Roger L.  

Bioremediation Journal, Vol. 4, Iss. 4, 2000-10 ,pp. : 337-357

Taylor & Francis Ltd

Access to resources Recommend Favorite

FIRST-ORDER HYDROTHERMAL OXIDATION KINETICS OF DIGESTED SLUDGE COMPARED WITH RAW SLUDGE

By Shanableh A.  

Environmental Technology, Vol. 29, Iss. 9, 2008-09 ,pp. : 1009-1020

Taylor & Francis Ltd

Access to resources Recommend Favorite