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

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

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “A note on the structure of certain predicates concerning the sublanguages of ALGOL 60”

Semantics based on states of affairs

Miroslav Mleziva (1975)

Kybernetika

Similarity:

Formalized models of ontological systems

Milan Růžička (1982)

Kybernetika

Similarity:

Horn clause programs and recursive functions defined by systems of equations

Jan Šebelík (1982)

Kybernetika

Similarity: