Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Y | Author/Editor | Title | ||||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
2 |
| ||||||||
16 |
| ||||||||
43 |
| ||||||||
41 |
| ||||||||
37 |
| ||||||||
36 |
| ||||||||
39 |
| ||||||||
58 |
| ||||||||
48 |
| ||||||||
61 |
| ||||||||
73 |
| ||||||||
42 |
| ||||||||
64 |
| ||||||||
55 |
| ||||||||
64 |
| ||||||||
47 |
| ||||||||
3 |
|
| |||||||
Basin, David A. Constable, Robert L. | Metalogical Frameworks In: Logical Environments, 1-29 | ||||||||
Bertling, Hubert Ganzinger, Harald Schäfers, Renate Nieuwenhuis, Robert Orejas, Fernando | Completion Subsystem In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 460-494 | ||||||||
Matthews, Seán Smaill, Alan Basin, David A. | Experience with $FS_0$ as a Framework Theory In: Logical Environments, 61-82 | ||||||||
36 |
|
| |||||||
6 |
|
| |||||||
1 |
|
| |||||||
1 |
|
| |||||||
26 |
| ||||||||
26 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
782 |
|