SOFSEM’ 98: Theory and Practice of Informatics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540652601, 9783540494775

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Randomized Meldable Priority Queues

SOFSEM’ 98: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-49477-4_26 ◽

1998 ◽

pp. 344-349 ◽

Author(s):

Anna Gambin ◽

Adam Malinowski

Keyword(s):

Priority Queues

Download Full-text

Automated Theorem Proving in a Combination of Theories with Disjoint Signatures

SOFSEM’ 98: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-49477-4_37 ◽

1998 ◽

pp. 443-452

Author(s):

Pavel Anousek

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Combination Of Theories

Download Full-text

Constraints with Variables’ Annotations and Constraint Hierarchies

SOFSEM’ 98: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-49477-4_33 ◽

1998 ◽

pp. 409-418 ◽

Author(s):

Hana Rudova

Keyword(s):

Constraint Hierarchies

Download Full-text

A Synchronisation Mechanism for Replicated Objects

SOFSEM’ 98: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-49477-4_31 ◽

1998 ◽

pp. 389-398 ◽

Author(s):

Francesc D. Muñoz-Escoí ◽

Pablo Galdámez ◽

José M. Bernabéu-Aubán

Download Full-text

Behavioral Safety in a Model with Multiple Class Objects

SOFSEM’ 98: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-49477-4_28 ◽

1998 ◽

pp. 360-370

Author(s):

Tomáš Hruška ◽

Petr Kolenčik ◽

Michal Máčel

Keyword(s):

Behavioral Safety ◽

Download Full-text

Yet Another Modular Technique for Efficient Leader Election

SOFSEM’ 98: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-49477-4_23 ◽

1998 ◽

pp. 312-321 ◽

Author(s):

Stefan Dobrev ◽

Peter RuŽička

Keyword(s):

Leader Election

Download Full-text

Towards the Use of Dynamic Documents in Business Processes

SOFSEM’ 98: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-49477-4_19 ◽

1998 ◽

pp. 275-284

Author(s):

Christine Vanoirbeek

Keyword(s):

Business Processes ◽

Dynamic Documents

Download Full-text

Audit of Information Systems: The Need for Cooperation

SOFSEM’ 98: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-49477-4_18 ◽

1998 ◽

pp. 264-274 ◽

Author(s):

Leon Strous

Keyword(s):

Information Systems

Download Full-text

Models of Computation, Riemann Hypothesis, and Classical Mathematics

SOFSEM’ 98: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-49477-4_6 ◽

1998 ◽

pp. 89-106 ◽

Author(s):

RŪsiņš Freivalds

Keyword(s):

Riemann Hypothesis ◽

Models Of Computation ◽

Classical Mathematics

Download Full-text

Data Mining Extension for Object-Oriented Query Language

SOFSEM’ 98: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-49477-4_32 ◽

1998 ◽

pp. 399-408 ◽

Author(s):

Mgr.Vladimir Novacek

Keyword(s):

Data Mining ◽

Query Language ◽

Object Oriented

Download Full-text