Works matching IS 13670751 AND DT 2001 AND VI 9 AND IP 5
Results: 6
Interval-Related Interpolation in Interval Temporal Logics.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 5, p. 677, doi. 10.1093/jigpal/9.5.677
- By:
- Publication type:
- Article
8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001).
- Published in:
- 2001
- By:
- Publication type:
- Conference Paper/Materials
Third International Workshop on Hybrid Logic (HyLo'01).
- Published in:
- 2001
- By:
- Publication type:
- Abstract
Meaning, Function, Purpose, Usefulness, Consequences – Interconnected Concepts.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 5, p. 693, doi. 10.1093/jigpal/9.5.693
- By:
- Publication type:
- Article
Sock Sorting: An Example of a Vague Algorithm.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 5, p. 687, doi. 10.1093/jigpal/9.5.687
- By:
- Publication type:
- Article
A Linear Meta-Interpreter for Reasoning About States and Actions.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 5, p. 631, doi. 10.1093/jigpal/9.5.631
- By:
- Publication type:
- Article