Deciding whether a relation defined inPresburger logic can be defined in weaker logics

E-ISSN： 1290-385x|42|1|121-135

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.42, Iss.1, 2008-01, pp. : 121-135

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

A Survey of Methods for Deciding Whether a Reaction Network is Multistationary

Mathematical Modelling of Natural Phenomena , Vol. 10, Iss. 5, 2015-08 ,pp. : 47-67

Edp Sciences

Access to resources Recommend Favorite

The Ill-Defined Niche

By Murray Shaun

Design Ecologies, Vol. 2, Iss. 1, 2012-08 ,pp. : 7-9

Intellect Books

Access to resources Recommend Favorite

Animal Ecology Defined?

Ecology, Vol. 13, Iss. 2, 1932-04 ,pp. : 212-213

John Wiley & Sons Inc

Access to resources Recommend Favorite

Energy Neutrality: How is it Defined? Is it possible?

By PedrosPhilip B. PapeRobert J. MetgalchiHameed MarxJames J. PeotChristopher

Proceedings of the Water Environment Federation, Vol. 2014, Iss. 14, 2014-10 ,pp. : 6397-6410

Water Environment Federation

Access to resources Recommend Favorite

The Research Results Are In: Top 10 Megatrends Defined!

By Brueck Terrance M. Manning Alan W.

Proceedings of the Water Environment Federation, Vol. 2004, Iss. 2, 2004-01 ,pp. : 125-133

Water Environment Federation

Access to resources Recommend Favorite