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 14, Issue 4
Acta Informatica
Publishing model
:
Hybrid
Submit your manuscript
Back to overview
Editorial board
Aims and scope
Journal updates
Search all Acta Informatica articles
Volume 14, Issue 4
October 1980
6 articles in this issue
Semantic routines and
LR
(
k
) parsers
Paul Purdom
Cynthia A. Brown
OriginalPaper
Pages: 299 - 315
Left context precedence grammars
K. R. Moll
OriginalPaper
Pages: 317 - 335
First-order identities as a defining language
Mitchell Wand
OriginalPaper
Pages: 337 - 357
Descriptively complete process logic
Hirokazu Nishimura
OriginalPaper
Pages: 359 - 369
Infinite proof rules for loops
F. Kröger
OriginalPaper
Pages: 371 - 389
On alternation II
Wolfgang Paul
Rüdiger Reischuk
OriginalPaper
Pages: 391 - 403
Search
Search by keyword or author
Search
Navigation
Find a journal
Publish with us
Track your research