Skip to main content
Skip to main navigation menu
Skip to site footer
Acta Cybernetica
Current
Archives
Announcements
About
About the Journal
Submissions
Editorial Team
Contact
Search
Search
Register
Login
Home
/
Archives
/
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
Density of tautologies in logics with one variable
László Aszalós, Tamás Herendi
385-398
PDF
Approximation of the Euclidean distance by Chamfer distances
András Hajdu, Lajos Hajdu, Robert Tijdeman
399-417
PDF
Person attribute extraction from the textual parts of web pages
István Nagy T.
419-440
PDF
Loop elimination, a sound optimisation technique for PTTP related theorem proving
Zsolt Zombori, Péter Szeredi
441-458
PDF
Open Journal Systems
Information
For Readers
For Authors
For Librarians
Make a Submission
Most read in last month
Geometric Newton-Raphson methods for plane curves
94
Prosper : developing web applications strongly integrated with Prolog
67
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer
48
Unit testing in C++ with compiler instrumentation and friends
35
A Preparation Guide for Java Call Graph Comparison
28
Current Issue