Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 (Q789378)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 |
scientific article; zbMATH DE number 3845530
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 |
scientific article; zbMATH DE number 3845530 |
Statements
Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 (English)
0 references
1984
0 references
The articles of this volume will be reviewed individually under the abbreviation ''Logics of programs, Workshop, Pittsburgh/PA 1983, Lect. Notes Comput. Sci. 164''.
0 references
Logics of programs
0 references
Workshop
0 references
Pittsburgh/Pennyslvania
0 references
0 references
0.87225527
0 references
0.8624021
0 references
0.8611541
0 references
0.8605256
0 references
