Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Series=LNCS AND Volume=338
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Accumulators
Keshav Pingali
,
Kattamuri Ekanadham
Lecture Notes in Computer Science
338
, 1988, pp. 377-399
A resolution rule for well-formed formulae
K.S.H.S.R. Bhatta
,
Harish Karnick
Lecture Notes in Computer Science
338
, 1988, pp. 400-418
Algebraic and operational semantics of positive/negative conditional algebraic specifications
Stéphane Kaplan
Lecture Notes in Computer Science
338
, 1988, pp. 419-434
Semi-unification
Deepak Kapur
,
David Musser
,
Paliath Narendran
,
Jonathan Stillman
Lecture Notes in Computer Science
338
, 1988, pp. 435-454
A method to check knowledge base consistency
Alain Beauvieux
Lecture Notes in Computer Science
338
, 1988, pp. 455-468
Knowledge bases as structured theories
Jose Fiadeiro
,
Amilcar Sernadas
,
Cristina Sernadas
Lecture Notes in Computer Science
338
, 1988, pp. 469-486
On functional independencies
Jürgen M. Janas
Lecture Notes in Computer Science
338
, 1988, pp. 487-508
A generic algorithm for transaction processing during network partitioning
Bharat Bhargava
,
Shirley Browne
Lecture Notes in Computer Science
338
, 1988, pp. 509-519
Seiten
<
1
2