The following pages link to Programs and logics (Q1070221):
Displaying 12 items.
- DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations (Q1072540) (← links)
- Programs with continuations and linear logic (Q1330460) (← links)
- Most specific logic programs (Q1356224) (← links)
- Programs are predicates (Q3347251) (← links)
- Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them (Q3717021) (← links)
- Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations (Q3737416) (← links)
- Logic programming and digital circuit analysis (Q3754570) (← links)
- Gentzen type axiomatization for PAL (Q3976050) (← links)
- Programming in logic without logic programming (Q4593027) (← links)
- Steadfast logic programs (Q4719365) (← links)
- Super logic programs (Q5277693) (← links)
- (Q5514104) (← links)
