The following pages link to Jiří Zlatuška (Q1188836):
Displayed 27 items.
- (Q760415) (redirect page) (← links)
- On combinatory algebras and their expansions (Q760416) (← links)
- Distributive semantics for nondeterministic typed \(\lambda\)-calculi (Q760418) (← links)
- Theory of symbolic expressions. I (Q791311) (← links)
- The comparison of the expressive power of first-order dynamic logics (Q791517) (← links)
- Refutational theorem proving using term-rewriting systems (Q802317) (← links)
- A logical-functional approach to data bases (Q802319) (← links)
- Theory of symbolic expressions. II (Q1075757) (← links)
- Scott induction and closure under \(\omega\)-sups (Q1087326) (← links)
- The system \({\mathcal F}\) of variable types, fifteen years later (Q1091379) (← links)
- Systems of reductions (Q1098283) (← links)
- A case study in automated theorem proving: Finding sages in combinatory logic (Q1098333) (← links)
- A foray into combinatory logic (Q1098335) (← links)
- The Church-Rosser property for ground term-rewriting systems is decidable (Q1100890) (← links)
- A syntactic theory of sequential control (Q1101435) (← links)
- The addition of bounded quantification and partial functions to a computational logic and its theorem prover (Q1107510) (← links)
- Automatic binding time analysis for a typed \(\lambda\)-calculus (Q1107512) (← links)
- A quantitative interpretation of Girard's System F (Q1107514) (← links)
- Algebra of constructions. I. The word problem for partial algebras (Q1107515) (← links)
- A generalization of Owicki-Gries's Hoare logic for a concurrent while language (Q1107518) (← links)
- Extensions of logic programming. International workshop, Tübingen, FRG, 8--10 December 1989. Proceedings (Q1188837) (← links)
- (Q2265814) (redirect page) (← links)
- Alternative semantics for temporal logics (Q2265815) (← links)
- (Q3724296) (← links)
- (Q4003905) (← links)
- (Q4282619) (← links)
- (Q4746769) (← links)