Vol. 20 No. 3 (2012)

Regular articles

• 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

• 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