SICS research report

Orig.-Zählung z.B.: R91:03

Gespeichert in:

Bibliographische Detailangaben
Vorheriger Titel:	Swedish Institute of Computer Science Research report
Körperschaft:	Swedish Institute of Computer Science (VerfasserIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	Stockholm SICS 1989-
Schlagworte:	Monografische Reihe
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Band
An algebraic verification of a mobile network	1991
Modal logics for mobile processes	1991
The concurrency workbench : a semantics based tools for the verification of concurrent systems	1991
On the complexity of equation solving in process algebra	1991
Some principles for route descriptions derived from human advisers	1991
Programming paradigms of the andorra kernel Language	1991
Formal derivation of concurrent assignments from scheduled single assignments	1991
Developing an EBL bypass for a large-scale natural language query interface to relational data bases	1991
Variable shunting for the WAM	1991
Strong normalizability in Martin-Löf's type theory	1991
DDM : a cache-only memory architecture	1991
Contract bridge as a micro-world for reasoning about communicating agents	1990
Finding out : achieving decidability	1989
Computing transitive closure on systolic arrays of fixed size	1989
Algorithmic aspects of intuitionistic propositional logic 2	1989	2
Applying explanation-based learning to natural language processing Pt. 1	1989	Pt. 1
A version of Huet's algorithm for higher-order unification	1989
On the applicability of non-monotonic logic to formal reasoning in continuous time	1989
Applying explanation-based learning to natural language processing Pt. 2	1989	Pt. 2