E-LIB Suche - Ergebnisse für: Platek, Richard A.

1

Logic and Computer Science

Lectures given at the 1st Session of the Centro Internazion... Lecture Notes in Mathematics ; 1429;C.I.M.E. Foundation Subseries ; 1429;SpringerLink, Bücher;Springer eBook Collection, Mathematics and Statistics

Homer, Steven ; Nerode, Anil ; Platek, Richard A. ; Scedrov, Andre.. , 1990

Link: http://dx.doi.org/10.100..
Link: http://dx.doi.org/10.100..

2

Making computers safe for the world: An introduction to pro..:

, In: Logic and Computer Science; Lecture Notes in Mathematics,

Platek, Richard A. - p. 60-89 , 1990

Link: https://doi.org/10.1007/..

3

Formal methods in mathematics:

, In: Conference proceedings on Formal methods in software development,

Platek, Richard - p. 100-103 , 1990

Link: https://dl.acm.org/doi/1..

4

Chairperson's letter : Formal methods committee:

Platek, Richard
ACM SIGAda Ada Letters. VI (1986) 2 - p. 51-52 , 1986

Link: https://dl.acm.org/doi/1..

5

Chairperson's letter: Formal methods committee:

Platek, Richard
ACM SIGAda Ada Letters. VI (1986) 2 - p. 51-52 , 1986

Link: https://doi.org/10.1145/..

6

The Use of Ada as an Implementation Language in Formally Sp..:

, In: 1984 IEEE Symposium on Security and Privacy,

Platek, Richard - p. 107-107 , 1984

Link: https://doi.org/10.1109/..

7

The Converse to a Metatheorem in Gödel Set Theory:

Platek, Richard A.
Mathematical Logic Quarterly. 17 (1971) 1 - p. 21-22 , 1971

Link: https://doi.org/10.1002/..

8

Shorter Notes: A Note on the Failure of the Relativized Enu..:

Platek, Richard A.
Proceedings of the American Mathematical Society. 25 (1970) 4 - p. 915-916 , 1970

Link: https://www.jstor.org/st..

9

Shorter Notes: A Note on the Cardinality of the Medvedev La..:

Platek, Richard A.
Proceedings of the American Mathematical Society. 25 (1970) 4 - p. 917 ff. , 1970

Link: https://www.jstor.org/st..

10

Eliminating the Continuum Hypothesis:

Platek, Richard A.
The Journal of Symbolic Logic. 34 (1969) 2 - p. 219-225 , 1969

Link: https://www.jstor.org/st..

11

Terlipressin in patients with cirrhosis and type 1 hepatore..:

Moreau, Richard ; Durand, Francois ; Poynard, Thierry...
Gastroenterology. 122 (2002) 4 - p. 923-930 , 2002

Link: https://doi.org/10.1053/..