![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Functional 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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.