Volume 6,
Number 1,
January 2000
- Cristian Calude, Gheorghe Stefanescu:
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift.
1-2
Electronic Edition (link) BibTeX
- Solomon Marcus:
Under the Sign of Boole.
3-4
Electronic Edition (link) BibTeX
- Virgil Emil Cazanescu, Grigore Rosu:
Weak Inclusion Systems: Part Two.
5-21
Electronic Edition (link) BibTeX
- Rodica Ceterchi:
The Lattice Structure of Pseudo-Wajsberg Algebras.
22-38
Electronic Edition (link) BibTeX
- Gabriel Ciobanu, Mihai Rotaru:
A Pi-calculus Machine.
39-59
Electronic Edition (link) BibTeX
- Dana Cristofor, Laurentiu Cristofor, Dan A. Simovici:
Galois Connections and Data Mining.
60-73
Electronic Edition (link) BibTeX
- Razvan Diaconescu, Kokichi Futatsugi:
Behavioural Coherence in Object-Oriented Algebraic Specification.
74-96
Electronic Edition (link) BibTeX
- Stephan Foldes, Peter L. Hammer:
Monotone, Horn and Quadratic Pseudo-Boolean Functions.
97-104
Electronic Edition (link) BibTeX
- George Georgescu, Ioana Leustean:
A Representation Theorem for Monadic Pavelka Algebras.
105-111
Electronic Edition (link) BibTeX
- Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu:
Mixed Relations as Enriched Semiringal Categories.
112-129
Electronic Edition (link) BibTeX
- Cristian Grozea:
Free-Extendible Prefix-Free Sets and an Extension of the Kraft-Chaitin Theorem.
130-135
Electronic Edition (link) BibTeX
- Frank Harary:
The Automorphism Group of a Hypercube.
136-138
Electronic Edition (link) BibTeX
- Afrodita Iorgulescu:
Connections Between MVn Algebras and n-valued Lukasiewicz-Moisil Algebras - IV.
139-154
Electronic Edition (link) BibTeX
- Hajime Ishihara:
A Canonical Model Construction for Substructural Logics.
155-168
Electronic Edition (link) BibTeX
- Marjo Lipponen:
Computational Complementarity and Shift Spaces.
169-177
Electronic Edition (link) BibTeX
- Gheorghe Paun, Takashi Yokomori:
Simulating H Systems by P Systems.
178-193
Electronic Edition (link) BibTeX
- Grigore Rosu, Joseph A. Goguen:
On Equational Craig Interpolation.
194-200
Electronic Edition (link) BibTeX
- Dragos Vaida:
Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures.
201-211
Electronic Edition (link) BibTeX
- Kundi Xue, Marius Zimand:
Extractors for the Real World.
212-225
Electronic Edition (link) BibTeX
Volume 6,
Number 2,
February 2000
Volume 6,
Number 3,
March 2000
Volume 6,
Number 4,
April 2000
Volume 6,
Number 5,
May 2000
Volume 6,
Number 6,
June 2000
Volume 6,
Number 7,
July 2000
- Egon Börger, Reinhard Gotzhein:
Requirements Engineering - The Light Control Case Study.
580-581
Electronic Edition (link) BibTeX
- Egon Börger, Reinhard Gotzhein:
The Light Control Case Study: A Synopsis.
582-585
Electronic Edition (link) BibTeX
- Stefan Queins, Gerhard Zimmermann, Martin Becker, Martin Kronenburg, Christian Peper, Rolf Merz, Jürgen Schäfer:
The Light Control Case Study: Problem Description.
586-596
Electronic Edition (link) BibTeX
- Egon Börger, Elvinia Riccobene, Joachim Schmid:
Capturing Requirements by Abstract State Machines: The Light Control Case Study.
597-620
Electronic Edition (link) BibTeX
- Adriaan de Groot, Jozef Hooman:
Analyzing the Light Control System with PVS.
621-649
Electronic Edition (link) BibTeX
- Constance L. Heitmeyer, Ramesh Bharadwaj:
Applying the SCR Requirements Method to the Light Control Case Study.
650-678
Electronic Edition (link) BibTeX
- Martin Kronenburg, Christian Peper:
Application of the FOREST Approach to the Light Control Case Study.
679-703
Electronic Edition (link) BibTeX
- Graeme Smith, Colin J. Fidge:
Incremental Development of Real-Time Requirements: The Light Control Case Study.
704-730
Electronic Edition (link) BibTeX
- Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl:
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study.
731-757
Electronic Edition (link) BibTeX
Volume 6,
Number 8,
August 2000
Volume 6,
Number 9,
September 2000
Volume 6,
Number 10,
October 2000
Multithreaded Processors and Chip-Multiprocessors
Volume 6,
Number 11,
November 2000
Formal Specifications of Computer-Based Systems
Volume 6,
Number 12,
December 2000
Copyright © Sun May 17 00:12:21 2009
by Michael Ley (ley@uni-trier.de)