default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFunctional Programming, Concurrency, Simulation and Automated Reasoning 1993
- Peter E. Lauer:
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Lecture Notes in Computer Science 693, Springer 1993, ISBN 3-540-56883-2 - Peter E. Lauer:
On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities. 1-31 - David B. MacQueen:
Reflections on Standard ML. 32-46 - John Ophel:
An Introduction to the High-Level Language Standard ML. 47-70 - Jawahar Malhotra, Robert M. Shapiro:
Generating an Algorithm for Executing Graphical Models. 71-83 - Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli:
Modeling an NORAD Command Post Using SADT and Colored Petri Nets. 84-107 - Jeffery I. Zucker:
Propositional Temporal Logics and Their Use in Model Checking. 108-116 - Jeffery I. Zucker:
The Propositional mu-Calculus and Its Use in Model Checking. 117-128 - Rance Cleaveland:
Analysing Concurrent Systems Using the Concurrency Workbench. 129-144 - Douglas J. Howe:
Reasoning About Functional Programs in Nuprl. 145-164 - John H. Reppy
:
Concurrent ML: Design, Application and Semantics. 165-198 - Nachum Dershowitz:
A Taste of Rewrite Systems. 199-228 - Timothy C. Winkler:
Programming in OBJ and Maude. 229-277 - Richard A. Frost, S. Karamatos:
Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language. 278-295 - Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen:
Specification and Simulation with ExSpect. 296-327 - Stephen J. Garland, John V. Guttag, James J. Horning:
An Overview of Larch. 329-348 - Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels:
The EVES System. 349-373 - Michael Barnett, Christian Lengauer:
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. 374-398
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.
last updated on 2025-04-27 18:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
