Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rudolf Berghammer, Gunther Schmidt 0001 |
RELVIEW - A Computer System for the Manipulation of Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 403-404, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Ruth Breu, Michael Breu |
Abstract and Concrete Objects - An Algebraic Design Method for Object-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 343-348, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Abdelillah Mokkedem, Dominique Méry |
On Using a Composition Principle to Design Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 315-324, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt 0001 |
RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 405-406, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Roberto Gorrieri, Marco Roccetti |
Towards Performance Evaluation in Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 289-296, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Chris Brink, Katarina Britz |
Peirce Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 163-166, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray |
Joining Abstract and Concrete Computations in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 109-126, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Thony van der Vloedt |
The LOTOS Toolbox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 409-410, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Michael Johnson, Christopher N. G. Dampney |
On the Value of Commutative Diagrams in Information Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 45-58, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Roger D. Maddux |
Relation Algebras for Reasoning about Time and Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 27-44, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma |
On the Coverage of Partial Validations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 245-252, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Arie van Deursen, T. B. Dinesh, Emma van der Meulen |
The ASF+SDF Meta-environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 411-412, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Julio García-Martín, Juan José Moreno-Navarro |
A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 367-376, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Elizabeth A. Scott |
Automated Proof of the Correctness of a Compiling Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 393-400, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Naima Brown, Dominique Méry |
Towards an Integrated Environment for Concurrent programs Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 407-408, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Hartmut Ehrig, Francesco Parisi-Presicce |
Interaction between Algebraic Specification Grammars and Modular System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 217-224, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Pasquale Malacaria |
Equivalences of Transition Systems in an Algebraic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 263-270, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Marisa Navarro, Fernando Orejas, Ana Sánchez |
On the Correctness of Modular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 209-216, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond |
Synchronous Observers and the Verification of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 83-96, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Hubert Comon |
Constraints in Term Algebras (Short Survey). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 97-108, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt 0001, Paulo A. S. Veloso |
Comparing Two Different Approaches to Products in Abstract Relation Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 167-176, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Valentin M. Antimirov, Anatoli Degtyarev |
Completeness of Equational Definitions over Predefined Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 377-384, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Aurel Cornell, John Knaack, A. Nangia, Teodor Rus |
Real-Time Program Synthesis from Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 237-244, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Khalil Drira, Pierre Azéma |
Verifying Communication Protocols Via Testing-Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 253-262, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Tim Sheard |
Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 145-152, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Arie van Deursen, Peter D. Mosses |
Executing Action Semantic Descriptions using ASF+SDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 413-414, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Gillian Hill |
Category Theory for the Configuration of Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 193-200, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Eric G. Wagner |
The Role of Memory in Object-based and Object-oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 333-342, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | R. K. Shyamasundar |
Specification of Hybrid Systems in CRP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 225-236, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Ismar Neumann Kaufman, Silvio Romero de Lemos Meira |
Modal Action Logic in a Practical Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 307-314, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Eugenio Battiston, V. Crespi, Fiorella de Cindio, Giancarlo Mauri |
Semantics Frameworks for a Class of Modular Algebraic Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 271-280, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Hajnal Andréka, István Németi, Ildikó Sain |
Applying Algebraic Logic to Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 5-26, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (eds.) |
Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![Springer, 3-540-19797-4 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Richard Marciano, Teodor Rus |
Algebraic Construction of Program Representation Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 529-546, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Heinrich Hussmann |
A Case Study Towards Algebraic Verification of Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 254-263, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Neil D. Jones |
Efficient Algebraic Operations on Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 393-420, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | John Knaack, Teodor Rus |
TwoLev: A Two Level Scanner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 264-276, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Pierre-Yves Schobbens |
Clean Algebraic Exception with Implicit Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 173-186, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Henk Eertink |
Tools for Algebraic Distributed System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 434-442, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Francesco Parisi-Presicce |
On the Reusability of Specifications and Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 43-56, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Carolyn L. Talcott |
Towards a Theory of Binding Structures: An Abstract Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 201-215, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Hantao Zhang 0001, Angshuman Guha, Xin Hua |
Using Algebraic Specification in Floyd-Hoare Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 350-362, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | G. Ramalingam, Thomas W. Reps |
Modification Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 547-558, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Werner Fey |
ACT TWO: An Algebraic Module Specification and Interconnection Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 187-200, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | André Arnold |
MEC: A System for Constructing and Analysis Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 81-82, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio |
Algebraic Specification at Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 26-42, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Maria Zamfir Bleyberg |
Modeling Concurrency with AND/OR Algebraic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 117-131, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Muffy Thomas, Phil Watson |
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 377-390, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Scott F. Smith 0001 |
Extracting Recursive Programs in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 341-349, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Val Breazu-Tannen, Ramesh Subrahmanyam |
On Adding Algebraic Theories with Induction to Typed Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 327-340, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Didier Bert, Christine Lafontaine |
Integration of Semantical Verification Conditions in a Specification Language Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 467-477, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | G. Steve Hirst, T. B. Dinesh |
The Combination of Specifications and the Induced Relations in Object Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 70-77, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Huajun Qin, Philip Lewis |
Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 559-570, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | David Eichmann |
Selecting Reusable Components Using Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 57-69, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Yellamraju V. Srinivas |
Pattern Matching: A Sheaf-Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 456-466, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Emmanuel Kounalis, Michaël Rusinowitch |
Studies on the Ground Convergence Property of Conditional Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 363-376, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude |
Polynomial Relators (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 303-326, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor |
The PROSPECTRA System: A Unified Development Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 421-433, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Jiazhen Cai, Robert Paige |
Language Polynomial in the Input Plus Output. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 287-300, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Irène Guessarian |
About Algebras, Fixpoints and Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 497-528, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Vaughan R. Pratt |
Event Spaces and their Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 3-25, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas |
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 145-172, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Gil Zvi Deutsch, S. Kaplan |
Algebraic Semantics of Real-Time Process Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 83-97, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Emma van der Meulen |
Deriving Incremental Implementations from Algebraic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 277-286, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Daniela Rus |
A Framework for Dexterous Manipulation using Lie Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 443-455, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Kevin Lano, Howard P. Haughton |
An Algebraic Semantics for the Specification Language Z++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 478-493, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Gilles Bernot, Marie-Claude Gaudel, Bruno Marre |
A Formal Approach to Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 243-253, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Ryszard Janicki, Maciej Koutny |
Structure of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 98-107, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Gilles Bernot, Michel Bidoit |
Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 216-239, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Aurel Cornell |
Type Consistency Checking for Concurrent Independent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 132-141, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Paola Inverardi, Monica Nesi |
On Rewriting Behavioral Semantics in Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 108-116, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|