In first-order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specificallyâ€¦Â (More)

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

2017

2017

- Sebastian Eberhard, Stefan Hetzl, Daniel Weller
- J. Log. Comput.
- 2017

In this article, we deal with the following problem which we call Boolean unification with predicates: For a given formula F[Xâ€¦Â (More)

Is this relevant?

2014

2014

- Jayvant Anantpur, R. Govindarajan
- CC
- 2014

Branch divergence is a very commonly occurring performance problem in GPGPU in which the execution of diverging branches isâ€¦Â (More)

Is this relevant?

2006

2006

- Merlijn Sevenster, Tero Tulenheimo
- CiE
- 2006

In this paper we take up the study of Henkin quantifiers with boolean variables [4] also known as partially ordered connectivesâ€¦Â (More)

Is this relevant?

1997

1997

- 1997

In general, an n-ary predicate (relation) describes the relationship among its arguments, and such that no argument has to be ofâ€¦Â (More)

Is this relevant?

1994

1994

- Satoshi Kobayashi, Makoto Tatsuta
- Theor. Comput. Sci.
- 1994

Kobayashi, S. and M. Tatsuta, Realizability interpretation of generalized inductive definitions, Theoretical Computer Science 131â€¦Â (More)

Is this relevant?

1994

1994

- Andrzej M. Borzyszkowskiy
- 1994

The well known methodology of veriication of sequential imperative programs is Hoare's logic. S. Sokooowski presented anâ€¦Â (More)

Is this relevant?

1987

1987

Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic

- Mitio Takano
- Studia Logica
- 1987

Let .EOA be the e lementary ontology augmented by an addi t ional axiom 3S (S 9 S), and let ~ 8 be the monadic second-order p redâ€¦Â (More)

Is this relevant?

1987

1987

- Takashi Yokomori
- New Generation Computing
- 1987

The concept of set abstraction is introduced as a simple analogy of that of lambda abstraction in the theory of lambda calculusâ€¦Â (More)

Is this relevant?

1977

1977

- Jared L. Darlington
- IJCAI
- 1977

The sources o f i n e f f i c i e n c y i n c u r r e n t l y e x i s t i n g h i g h e r o rder u n i f i c a t i o n a l g o râ€¦Â (More)

Is this relevant?

1977

1977

- W. W. Bledsoe
- IJCAI
- 1977

A procedure is described that gives values to set variables in automatic theorem proving. The result is that a theorem is therebyâ€¦Â (More)

Is this relevant?