LUCID, the dataflow programming language
LUCID, the dataflow programming language
Concerning the semantic consequence relation in first-order temporal logic
Theoretical Computer Science
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Theoretical Computer Science
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Minimum model semantics for logic programs with negation-as-failure
ACM Transactions on Computational Logic (TOCL)
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |