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
Filter by
Volume:
All volumes
Volume 61 (2024)
Volume 60 (2023)
Volume 59 (2022)
Volume 58 (2021)
Volume 57 (2020)
Volume 56 (2019)
Volume 55 (2018)
Volume 54 (2017)
Volume 53 (2016)
Volume 52 (2015)
Volume 51 (2014)
Volume 50 (2013)
Volume 49 (2012)
Volume 48 (2011)
Volume 47 (2010)
Volume 46 (2009)
Volume 45 (2008)
Volume 44 (2007)
Volume 43 (2007)
Volume 42 (2006)
Volume 41 (2004)
Volume 40 (2004)
Volume 39 (2003)
Volume 38 (2001)
Volume 37 (2000)
Volume 36 (1999)
Volume 35 (1998)
Volume 34 (1997)
Volume 33 (1996)
Volume 32 (1995)
Volume 31 (1994)
Volume 30 (1993)
Volume 29 (1992)
Volume 28 (1991)
Volume 27 (1989)
Volume 26 (1988)
Volume 25 (1988)
Volume 24 (1987)
Volume 23 (1986)
Volume 22 (1986)
Volume 21 (1984)
Volume 20 (1983)
Volume 19 (1983)
Volume 18 (1982)
Volume 17 (1982)
Volume 16 (1981)
Volume 15 (1981)
Volume 14 (1980)
Volume 13 (1980)
Volume 12 (1979)
Volume 11 (1979)
Volume 10 (1978)
Volume 9 (1978)
Volume 8 (1977)
Volume 7 (1977)
Volume 6 (1976)
Volume 5 (1975)
Volume 4 (1975)
Volume 3 (1974)
Volume 2 (1973)
Volume 1 (1972)
Sort by
Date published:
New to old
Old to new
Update results
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
