Logical relations

Logical relations are a proof method employed in programming language semantics to show that two denotational semantics are equivalent. To describe…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

The Topological functioning model (TFM) captures system functioning specification in the form of topological space consisting of…

2010

Abstract of thesis entitled "Numerical Investigation of the Behaviour of Circular Synthetic Jets for Effective Flow Separation…

2009

Hybrid theories arise out of the combination of ontologies with nonmonotonic rules and are receiving increasing attention in KR…

2004

Recently the problem of interrelations among scientific theories has been widely discussed in the philosophy of science…

1997

I investigated sensorimotor precursors of logicoarithmetic operations involved in spontaneous object grouping of five common…

1996

L'A. examine les prepositions et adverbiaux utilises dans les articles de la presse anglaise afin de signaler, de facon subtile…

1994

The question that motivates this thesis is how to account for the semi-free word order of Chinese. This is addressed in terms of…

1992

This work is concerned with the way in which principled theories of syntax and modular theories of mind may participate in an…

1983

This paper describes an extension of FRL (Frame Representation Language) which supports the encoding of reasoning knowledge…

1974

This paper structures algorithms for the translation of set theoretic queries into procedures for the search of arbitrary complex…