Results 291 to 300 of about 48,321 (304)
Some of the next articles are maybe not open access.
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic
Studia Logica, 1999Mohammad Ardeshir
exaly
On maximal intermediate predicate constructive logics
Studia Logica, 1996Alessandro Avellone +2 more
exaly
Polymorphic predicate abstraction
ACM Transactions on Programming Languages and Systems, 2005Thomas Ball +2 more
exaly
Predicate prediction based on a predicated predicate value
2006GROCHOWSKI EDWARD T +2 more
openaire +1 more source
Predicate raising and perception verb complements in Malagasy
Natural Language and Linguistic Theory, 2017exaly
Expressive and modular predicate dispatch for Java
ACM Transactions on Programming Languages and Systems, 2009exaly