Volume 52-53; Issue none

The Journal of Logic and Algebraic Programming

Volume 52-53; Issue none
4

Iterating transducers

Dennis Dams, Yassine Lakhnech, Martin Steffen
Journal:
The Journal of Logic and Algebraic Programming
Year:
2002
Language:
english
File:
PDF, 214 KB
english, 2002
6

Syntax-directed model checking of sequential programs

Karen Yorav, Orna Grumberg
Journal:
The Journal of Logic and Algebraic Programming
Year:
2002
Language:
english
File:
PDF, 447 KB
english, 2002
9

Editorial Board

Journal:
The Journal of Logic and Algebraic Programming
Year:
2002
Language:
english
File:
PDF, 27 KB
english, 2002
10

Author Index

Journal:
The Journal of Logic and Algebraic Programming
Year:
2002
Language:
english
File:
PDF, 18 KB
english, 2002
11

Subject Index

Journal:
The Journal of Logic and Algebraic Programming
Year:
2002
File:
PDF, 15 KB
2002