2373 search results - page 166 / 475 » On the Theory of Structural Subtyping |
170
click to vote
COCOON
1995
Springer
15 years 10 months ago
1995
Springer
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
162
click to vote
EPK
2006
15 years 8 months ago
2006
Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
109
click to vote
ACL
2000
15 years 8 months ago
2000
In this paper, we outline a theory of referential accessibility called Veins Theory (VT). We show how VT addresses the problem of "left satellites", currently a problem ...
158
click to vote
IRMA
2000
15 years 8 months ago
2000
The genre theory has been earlier introduced as a means for analyzing organizational communication. The terms hard and soft information genre have been employed to refer to the ex...
136
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...