Shaker Verlag Aachen 2009
3
0
0
Texto
Documentos relacionados
ear time to rst separate a rst-order formula over linear time; a temporal.. formula is translated into the rst-order language, where it is
