Search results for: Aarne Ranta
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Requirements Engineering > 233-248
Lecture Notes in Computer Science > Advances in Natural Language Processing > Research Papers > 488-499
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Specification and automatic proof-assistants > 70-84
Lecture Notes in Computer Science > Finite-State Methods and Natural Language Processing > Abstracts of Software Demos > 304-305
Lecture Notes in Computer Science
Journal of Logic, Language and Information > 2010 > 19 > 2 > 201-228
Research on Language and Computation > 2007 > 5 > 2 > 133-158
Journal of Logic, Language and Information > 2004 > 13 > 2 > 225-240
Journal of Logic, Language and Information > 1998 > 7 > 4 > 413-431