Manfred Broy, Alexandre V. Zamulin (Eds.):
Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers.
Lecture Notes in Computer Science 2890 Springer 2003, ISBN 3-540-20813-5 BibTeX
Programming Issues
Software Engineering
Software Education
Program Synthesis,
Transformation,
and Semantics
Graphical Interfaces
Partial Evaluation and Supercompilation
Verification
Logic and Types
Concurrent and Distributed Systems
Concurrent and Reacitive Systems
Program Specification
Verification and Model Checking
Constraint Programming
Documentation and Testing
Databases
- Joachim W. Schmidt, Hans-Werner Sehring:
Conceptual Content Modeling and Management.
469-493
Electronic Edition (link) BibTeX
- Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón:
A Relational Algebra for Functional Logic Deductive Databases.
494-508
Electronic Edition (link) BibTeX
- José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles S. Places:
Implication of Functional Dependencies for Recursive Queries.
509-519
Electronic Edition (link) BibTeX
- Kjetil Nørvåg, Marit Limstrand, Lene Myklebust:
TeXOR: Temporal XML Database on an Object-Relational Database System.
520-530
Electronic Edition (link) BibTeX
- Jixue Liu, Millist W. Vincent, Chengfei Liu:
Functional Dependencies, from Relational to XML.
531-538
Electronic Edition (link) BibTeX
- Joaquín Pérez, Rodolfo A. Pazos, René Santaolaya Salgado, Juan Frausto Solís, Guillermo Rodríguez, Laura Cruz, Maricela Bravo:
Data-Object Replication, Distribution, and Mobility in Network Environments.
539-545
Electronic Edition (link) BibTeX
Natural Language Processing
Copyright © Sat May 16 23:10:35 2009
by Michael Ley (ley@uni-trier.de)