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: Journal=J. Symbolic Computation AND Volume=22
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Timed default concurrent constraint programming
Vijay Saraswat
,
Radha Jagadeesan
,
Vineet Gupta
Journal Symbolic Computation
22
(5-6), 1996, pp. 475-520
Deriving liveness goals from temporal logic specifications
C. Caleiro
,
G. Saake
,
A. Sernadas
Journal Symbolic Computation
22
(5-6), 1996, pp. 521-553
Temporal annotated constraint logic programming
Thom Frühwirth
Journal Symbolic Computation
22
(5-6), 1996, pp. 555-583
Dense time logic programming
Mohsin Ahmed
,
G. Venkatesh
Journal Symbolic Computation
22
(5-6), 1996, pp. 585-613
Executable temporal logic for non-monotonic reasoning
Joeri Engelfriet
,
Jan Treur
Journal Symbolic Computation
22
(5-6), 1996, pp. 615-625
Temporal semantics for concurrent MetateM
Michael Fisher
Journal Symbolic Computation
22
(5-6), 1996, pp. 627-648
A non-standard temporal deductive database system
Jean-Raymond Gagné
,
John Plaice
Journal Symbolic Computation
22
(5-6), 1996, pp. 649-664
NatureTime: Temporal granularity in simulation of ecosystems
Edjard Mota
,
David Robertson
,
Alan Smaill
Journal Symbolic Computation
22
(5-6), 1996, pp. 665-698
Dealing with multiple granularity of time in temporal logic programming
Chuchang Liu
,
Mehmet A. Orgun
Journal Symbolic Computation
22
(5-6), 1996, pp. 699-720
The Chronolog familiy of languages
Mehmet A. Orgun
,
Anthony A. Faustini
Journal Symbolic Computation
22
(5-6), 1996, pp. 722-724
``F-Limette'' fuzzy logic programming integrating metric temporal extensions
Karl Schäfer
,
Christoph Brzoska
Journal Symbolic Computation
22
(5-6), 1996, pp. 725-727
The concurrent MetateM system
Michael Fisher
,
Adam Kellett
Journal Symbolic Computation
22
(5-6), 1996, pp. 728-729
The programming language Tempura
Ben Moszkowski
Journal Symbolic Computation
22
(5-6), 1996, pp. 730-733
The Tokio system
Shinji Kono
,
M. Fujita
Journal Symbolic Computation
22
(5-6), 1996, pp. 734-735
Seiten
<
1
2