The theory of hybrid automata
Henzinger, T.A.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
General decidability theorems for infinite-state systems
Abdulla, P.A., Cerans, K., Jonsson, B., Yih-Kuen Tsay
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Reactive modules
Alur, R., Henzinger, T.A.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Linear logic, monads and the lambda calculus
Benton, N., Wadler, P.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Decision problems for semi-Thue systems with a few rules
Matiyasevich, Y., Senizergues, G.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Game semantics and abstract machines
Danos, V., Herbelin, H., Regnier, L.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Model-checking of correctness conditions for concurrent objects
Alur, R., McMillan, K., Peled, D.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
A linear logical framework
Cervesato, I., Pfenning, F.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Subtyping dependent types
Aspinall, D., Compagnoni, A.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Higher dimensional transition systems
Cattani, G.L., Sassone, V.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Counting module quantifiers on finite linearly ordered trees
Nurmonen, J.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Efficient model checking via the equational /spl mu/-calculus
Bhat, G., Cleaveland, R.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
A fully-abstract model for the /spl pi/-calculus
Fiore, M.P., Moggi, E., Sangiorgi, D.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Locally linear time temporal logic
Ramanujam, R.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Syntactic considerations on recursive types
Abadi, M., Fiore, M.P.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Basic paramodulation and decidable theories
Nieuwenhuis, R.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding