Вы здесь

Главная

Nijmegen

Связанные издания:

Affix Grammars for Natural Languages
Affix Grammars for Programming Languages
Automatically Proving Termination and Innermost Normalisation of Term Rewriting Systems
Compositional Verification of Parallel Programs using Epistimic Logic and Abstract Assertional Languages
On the borderline between grammars and programs
The AGFL Papers 1991/92
The Grammar Workbench: A First Step Towards Lingware Engineering
Towards an Affix Grammar for the Hungarian Language
Towards an Affix Grammar for Turkish
Views of Formal Program Development