Observational logic, constructor-based logic, and their duality

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.298, Iss.3, 2003-04, pp. : 471-510

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

BDD-Based Synthesis of Reversible Logic

International Journal of Applied Metaheuristic Computing (IJAMC), Vol. 1, Iss. 4, 2010-10 ,pp. : 25-41

IGI Global_journal

Access to resources Recommend Favorite

High-performance Multiplexer-based Logic Synthesis Using Pass-transistor Logic

By Hsiao Shen-Fu Yeh Jia-Siang Chen Da-Yen

VLSI Design, Vol. 15, Iss. 1, 2002-01 ,pp. : 417-426

Taylor & Francis Ltd

Access to resources Recommend Favorite

A logic of soft constraints based on partially ordered preferences

By Wilson Nic

Journal of Heuristics, Vol. 12, Iss. 4-5, 2006-09 ,pp. : 241-262

Springer Publishing Company

Access to resources Recommend Favorite

Fuzzy-Logic Based Navigation of Underwater Vehicles

By Kanakakis V. Valavanis K. P. Tsourveloudis N. C.

Journal of Intelligent and Robotic Systems, Vol. 40, Iss. 1, 2004-05 ,pp. : 45-88

Springer Publishing Company

Access to resources Recommend Favorite

Abstract Interpretation based Verification of Logic Programs

By Comini M. Gori R. Levi G. Volpe P.

Electronic Notes in Theoretical Computer Science, Vol. 30, Iss. 1, 2004-01 ,pp. : 1-17

Elsevier

Access to resources Recommend Favorite