EUDML | Horn clause programs and recursive functions defined by systems of equations

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Horn clause programs and recursive functions defined by systems of equations”

Semantics based on states of affairs

Miroslav Mleziva (1975)

Kybernetika

Similarity:

A note on the structure of certain predicates concerning the sublanguages of ALGOL 60

Jiří Kopřiva (1965)

Kybernetika

Similarity:

Formalized models of ontological systems

Milan Růžička (1982)

Kybernetika

Similarity:

Factorization of Toeplitz and Hankel operators

Vlastimil Pták (1997)

Mathematica Bohemica

Similarity:

Using a factorization lemma we obtain improvements and simplifications of results on representation of generalized Toeplitz and Hankel operators as compression of symbols.

Crossing-bounded computations and their relation to the LBA-problem

Michal P. Chytil (1976)

Kybernetika

Similarity: