Sciweavers

EWSPT
1994
Springer
14 years 1 days ago
The Oikos Services for Object Management in the Software Process
Vincenzo Ambriola, Giovanni A. Cignoni, Carlo Mont...
AC
1992
Springer
14 years 1 days ago
Logic and Databases
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
Johann Eder
FSTTCS
1993
Springer
14 years 1 days ago
Compact Location Problems
We investigate the complexity and approximability of some location problems when two distance values are specified for each pair of potential sites. These problems involve the se...
Venkatesh Radhakrishnan, Sven Oliver Krumke, Madha...
FSTTCS
1993
Springer
14 years 1 days ago
Induce-Statements and Induce-Expressions: Constructs for Inductive Programming
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
Theodore S. Norvell
FSTTCS
1993
Springer
14 years 1 days ago
Order Structures and Generalisations of Szpilrajn's Theorem
X;R ;R R R X X R R 1 2 1 2 1 1 2 1 2 2 1 2
Ryszard Janicki, Maciej Koutny
FSTTCS
1993
Springer
14 years 1 days ago
Complexity Results for 1-safe Nets
We study the complexity of several standard problems for 1-safe Petri nets and some of its subclasses. We prove that reachability, liveness, and deadlock are all PSPACE-complete f...
Allan Cheng, Javier Esparza, Jens Palsberg
FSTTCS
1993
Springer
14 years 1 days ago
Higher-Order and Semantic Unification
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
Nachum Dershowitz, Subrata Mitra
FSTTCS
1993
Springer
14 years 1 days ago
Essential Intersection Type Assignment
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...
Steffen van Bakel