researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Fundamenta Informaticae
Home
Index
Info
Issue
Volume
40
, Issue
1
1
--
16
Andris Ambainis
,
Rusins Freivalds
,
Carl H. Smith
.
Inductive Inference with Procrastination: Back to Definitions
7
--
30
Patrick Doherty
,
J. Kachniarz
,
Andrzej Szalas
.
Meta-Queries on Deductive Databases
31
--
51
C. A. Johnson
.
Processing Deductive Databases under the Disjunctive Stable Model Semantics
53
--
77
Viorel Preoteasa
.
A Relation Between Unambiguous Regular Expressions and Abstract Data Types
79
--
102
Kaile Su
,
Wei Li
.
Computation of Extensions of Seminormal Default Theories