Vol. 20 No. 3 (2012)

Published: 2012-01-01

Regular articles

Improving the construction of the DBM over approximation of the state spce of real-time preemptive systems

Abdelli Abdelkrim

347-384
- PDF
Person attribute extraction from the textual parts of web pages

István Nagy T.

419-440
- PDF
Density of tautologies in logics with one variable

László Aszalós, Tamás Herendi

385-398
- PDF
Loop elimination, a sound optimisation technique for PTTP related theorem proving

Zsolt Zombori, Péter Szeredi

441-458
- PDF
Approximation of the Euclidean distance by Chamfer distances

András Hajdu, Lajos Hajdu, Robert Tijdeman

399-417
- PDF