Works matching IPL (Computer program language)
Results: 2
FTD GRAMMAR GRAPH.
- Published in:
- International Journal of Computer Mathematics, 2003, v. 80, n. 1, p. 1
- By:
- Publication type:
- Article
Properties of Intuitionistic Provability and Preservativity Logics.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 6, p. 615, doi. 10.1093/jigpal/jzi047
- By:
- Publication type:
- Article