2 |
Mechanisation of PDA and Grammar Equivalence for Context-Free Languages
|
|
|
|
In: WoLLIC 2010 proceedings (2015)
|
|
BASE
|
|
Show details
|
|
3 |
A formalisation of the theory of context-free languages in higher order logic
|
|
|
|
BASE
|
|
Show details
|
|
4 |
A formalisation of the theory of context-free languages in higher order logic
|
|
|
|
BASE
|
|
Show details
|
|
|
|