Results 271 to 280 of about 822,981 (308)

Truth, Deduction, and Computation: Logic and Semantics for Computer Science

, 1989
Ruth Davis
openalex  

Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes

, 1990
Irène Guessarian
openalex  

E. K. Blum. Towards a theory of semantics and compilers for programming languages. Journal of computer and system sciences, vol. 3 (1969), pp. 248–275.

, 1975
David Park
openalex   +1 more source

Semantics for descriptions : from linguistics to computer science

, 2002
François Rastier, Marc Cavazza, Anne Abeillé, Roy Marks   +3 more
openalex  

Sheila A. Greibach. Theory of program structures: schemes, semantics, verification. Lecture notes in computer science, vol. 36. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, xv + 364 pp.

, 1978
Robert L. Constable
openalex   +1 more source

On the Semantics of Infinite Computations in Logic Programs(Mathematical Foundations of Computer Science and Their Applications)

, 1985
Yasubumi Sakakibara
openalex   +1 more source

Semantics of a Networked World. Semantics for Grid Databases: First International IFIP Conference on Semantics of a Networked World: ICSNW 2004, Paris, ... Papers (Lecture Notes in Computer Science)

, 2004
Mokrane Bouzeghoub, Carole Goble, Vipul Kashyap, Stefano Spaccapietra   +3 more
openalex  

Journal on Data Semantics V (Lecture Notes in Computer Science)

, 2006
Stefano Spaccapietra, Paolo Atzeni, Wesley W. Chu, Tiziana Catarci, Katia Sycara   +4 more
openalex  

Journal on Data Semantics IV (Lecture Notes in Computer Science)

, 2006
Stefano Spaccapietra
openalex  

학술·연구정보가이드: Computer Science 분야 (04): Semantics; Natural language processing systems; Language instructions

, 2020
팀 주제정보서비스
openalex