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
  • Register
  • Login
  1. Home /
  2. Archives /
  3. 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
  • Atom logo
  • RSS2 logo
  • RSS1 logo
Publisher    
University of Szeged, Institute of Informatics
Publisher's headquarters    
Árpád square 2, H-6720 Szeged, Hungary
Responsible Publisher    
László Nyúl
Editor-in-chief    
Tibor Csendes
Managing editor    
Boglárka G.-Tóth
ISSN    
0324-721X (Print)
ISSN    
2676-993X (Online)
 
 
About this Publishing System