Skip to main content
Log in
Menu
Find a journal
Publish with us
Track your research
Search
Cart
Home
Acta Informatica
Volumes and issues
Volume 33, Issue 8
Acta Informatica
Publishing model
:
Hybrid
Submit your manuscript
(this opens in a new tab)
Back to Overview
Editorial board
Aims and scope
Journal updates
Search all Acta Informatica articles
Volume 33, Issue 8
November 1996
4 articles in this issue
Calculi for interaction
Robin Milner
Pages: 707 - 737
On the sequential nature of interprocedural program-analysis problems
Thomas Reps
Pages: 739 - 757
RETRPROV A system that looks for axioms
Andrzej Biela
Jakub Borowczyk
Pages: 759 - 780
A direct complement construction for
\(LR(1)\)
grammars
Stephan Heilbrunner
Pages: 781 - 797
Search
Search by keyword or author
Search
Navigation
Find a journal
Publish with us
Track your research