Paper Info
Title
A Decidability Criterion for van Wijngaarden Grammars.
Abstract
Van Wijngaarden grammars are a very useful instrument for syntactically describing even the most complex languages. This is illuminated specifically by describing the language of valid formulas of first order logic by a van Wijngaarden grammar.
Year
DOI
Venue
1975
10.1007/BF00264566
Acta Inf.
Keywords
Field
DocType
Information System,Operating System,Data Structure,Communication Network,Information Theory
Rule-based machine translation,Data structure,Discrete mathematics,Extended Affix Grammar,Decidability,First-order logic,Van Wijngaarden grammar,Backus–Naur Form,ALGOL 68,Mathematics
Journal
Volume
Issue
Citations 
5
4
13
PageRank 
References 
Authors
2.48
3
1
Name
Order
Citations
PageRank
Peter Deussen15626.79