H ?
«
‹
←
→
›
»
Language peer sets for TempLog: Designed 1987 ↑ 1980s languages ↑ Fifth generation↑ Late Cold War↑ TempLog(ID:1369/tem002)alternate simple viewDesigned 1987 Published: 1987 A clausal subset of first-order temporal logic, with discrete time. References: in Parikh, R. (1985) Parikh, R. editor, Proceedings of Conference on Logics of Programs, LNCS 193, Springer-Verlag, 1985 in Proc. (1987) Proc. of the 1987 Symposium on Logic Programming, San Fransisco, Calif, 1987. IEEE Computer Society Press. in Proc. (1987) Proc. of the 1987 Symposium on Logic Programming, San Fransisco, Calif, 1987. IEEE Computer Society Press. in (1989) Journal of Symbolic Computation, 8, 1989 in (1989) Journal of Symbolic Computation, 8, 1989 in Conference Record of the Sixteenth ACM Symposium o (1989) Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages, pp. 267-280, Austin, Texas, Jan. 1989 in Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991 in Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991 in Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991 Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |