default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 34 matches
- 1991
- Jan A. Bergstra, Loe M. G. Feijs:
Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]. Lecture Notes in Computer Science 490, Springer 1991, ISBN 3-540-53912-3 [contents] - 1989
- Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink:
A Process Specification Formalism Based on Static COLD. Algebraic Methods 1989: 303-335 - Jos C. M. Baeten, Jan A. Bergstra:
Design of a Specification Language by Abstract Syntax Engineering. Algebraic Methods 1989: 363-394 - R. D. van den Bos, Loe M. G. Feijs, Rob C. van Ommering:
POLAR: A Picture-Oriented Language for Abstract Representations. Algebraic Methods 1989: 233-276 - N. W. P. van Diepen, Helmuth Partsch:
Formalizing Informal Reuqirments. Some Aspects. Algebraic Methods 1989: 7-27 - Loe M. G. Feijs:
Transformations of Designs. Algebraic Methods 1989: 167-199 - Loe M. G. Feijs:
Norman's Database Modularised in COLD-K. Algebraic Methods 1989: 205-231 - Anthony Finkelstein, Michael Goedicke, Jeff Kramer, Celso Niskier:
Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering. Algebraic Methods 1989: 29-54 - Jacques Hagelstein, Frank Ponsaert:
Introducing Formal Requirements into Industry. Algebraic Methods 1989: 129-141 - H. B. M. Jonkers:
Inheritance in COLD. Algebraic Methods 1989: 277-301 - Paul Klint:
A Meta-Environment for Generating Programming Environments. Algebraic Methods 1989: 105-124 - Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein:
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. Algebraic Methods 1989: 395-431 - Sjouke Mauw, Freek Wiedijk:
Specification of the Transit Node in PSFd. Algebraic Methods 1989: 341-361 - Cornelis A. Middelburg:
Experiences with Combining Formalisms in VVSL. Algebraic Methods 1989: 83-103 - Ernst-Rüdiger Olderog, Krzysztof R. Apt:
Using Transformation to Verify Parallel Programs. Algebraic Methods 1989: 55-81 - Rainer Weber:
Where Can I Get Gas Round Here? - An Application of a Design Methodology for Distributed Systems. Algebraic Methods 1989: 143-166 - Martin Wirsing, Jan A. Bergstra:
Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]. Lecture Notes in Computer Science 394, Springer 1989, ISBN 3-540-51698-0 [contents] - 1987
- Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca:
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. Algebraic Methods 1987: 91-116 - W. E. Baats, Loe M. G. Feijs, J. H. A. Gelissen:
A Formal Specifications of INGRES. Algebraic Methods 1987: 207-245 - Jan A. Bergstra, Jan Willem Klop:
ACTtau: A Universal Axiom System for Process Specification. Algebraic Methods 1987: 447-463 - Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin:
How to Make Algebraic Specifications More Understandable?. Algebraic Methods 1987: 31-67 - Loe M. G. Feijs:
The Calculus lambda-pi. Algebraic Methods 1987: 307-330 - Alfons Geser:
A Specification of the intel 8085 Microprocessor: A Case Study. Algebraic Methods 1987: 347-401 - Rob J. van Glabbeek, Frits W. Vaandrager:
Modular Specifications in Process Algebra with Curious Queues. Algebraic Methods 1987: 465-506 - Heinrich Hußmann, Alfons Geser:
The RAP System as a Tool for Testing COLD Specifications. Algebraic Methods 1987: 331-345 - Heinrich Hußmann, Christian Rank:
Specification and Prototyping of a Compiler for a Small Applicative Language. Algebraic Methods 1987: 403-418 - H. B. M. Jonkers:
An Introduction to COLD-K. Algebraic Methods 1987: 139-205 - H. B. M. Jonkers:
Description Algebra. Algebraic Methods 1987: 283-306 - Herbert Klaeren, Klaus Indermark:
Efficient Implementation of an Algebraic Specification Language. Algebraic Methods 1987: 69-90 - C. P. J. Koymanns, Gerard R. Renardel de Lavalette:
The Logic MPLomega. Algebraic Methods 1987: 247-282
skipping 4 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-16 04:06 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint