>> Amazon.co.jp
このページのQRコード

Full abstraction and semantic equivalence

種類:
図書
責任表示:
Ketan Mulmuley
出版情報:
Cambridge, Mass. : MIT Press, c1987
著者名:
Mulmuley, Ketan <DA0158908X>  
シリーズ名:
ACM doctoral dissertation awards ; 1986 <BA00032215>
ISBN:
9780262132275 [0262132273]  CiNii Books  Calil
注記:
Thesis (Ph.D.) -- Carnegie-Mellon University, 1985
Bibliography: p. [195]-196
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Synonymy and semantic classification

Sparck Jones, Karen, 1935-

Edinburgh University Press
7 図書 Towards a formal description of Ada

Oest, O. N., Bjørner, D. (Dines), 1937-

Springer-Verlag
2 図書 An Attribute grammar for the semantic analysis of ADA

Uhl, J. (Jürgen)

Springer-Verlag
8 図書 Computer semantics; studies of algorithms, processors, and languages

Lee, John A. N.

Van Nostrand Reinhold
3 図書 Formal syntax and semantics of Java

Alves-Foss, James, 1964-

Springer
9 図書 Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980

Workshop on Semantics-directed Compiler Generation, Jones, Neil D., 1941-

Springer-Verlag
4 図書 Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings

Guessarian, Irène, 1948-, Laboratoire Informatique Théorique et Programmation (France). Spring School, Institut pour &hellip;

Springer-Verlag
10 図書 Foundations of logic programming

Lloyd, J. W. (John Wylie), 1947-

Springer-Verlag
5 図書 Semantics of parallelism : non-interleaving representation of behaviour

Shields, M. W. (Michael William), 1950-

Springer
11 図書 Control flow semantics

Bakker, Jacobus Willem de, 1939-, Vink, Erik de

MIT Press
6 図書 Algebraic approaches to program semantics

Manes, Ernest G., 1943-, Arbib, Michael A.

Springer-Verlag
12 図書 Axiomatising the logic of computer programming

Goldblatt, Robert, 1949-

Springer-Verlag