Prolog's Control Constructs in a Functional Setting — Axioms and Implementation.
- Published in:
- International Journal of Foundations of Computer Science, 2001, v. 12, n. 2, p. 125, doi. 10.1142/S0129054101000436
- By:
- Publication type:
- Article
Works matching IS 01290541 AND DT 2001 AND VI 12 AND IP 2
Results: 3
1
2
From Standard to Non-Standard Semantics by Semantics Modifiers.
- Published in:
- International Journal of Foundations of Computer Science, 2001, v. 12, n. 2, p. 171, doi. 10.1142/S0129054101000448
- By:
- Publication type:
- Article
3
Categorical Model Construction for Proving Syntactic Properties.
- Published in:
- International Journal of Foundations of Computer Science, 2001, v. 12, n. 2, p. 213, doi. 10.1142/S012905410100045X
- By:
- Publication type:
- Article