An infinitary paradox of denotation

An infinitary paradox of denotation

Show other versions (1)

書目詳細資料
主要作者:	Uzquiano, G
格式:	Journal article
出版:	2004

相似書籍

An infinitary paradox of denotation
由: Uzquiano, G
出版: (2004)

The Syntax and semantics of infinitary languages /
由: Barwise, John
出版: (1968)

Finitary refinement checks for infinitary specifications
由: Roscoe, A
出版: (2004)

Large infinitary languages : model theory /
由: 366838 Dickmann, M. A.
出版: (1975)

Foundations of systems theory : finitary and infinitary conditions /
由: 385591 Anderson, B. D. O., et al.
出版: (1976)

The paradox of the knower without epistemic closure?
由: Uzquiano, G
出版: (2004)

Denotational semantics for occam
由: Roscoe, A
出版: (1985)

Denotational proof languages
由: Arkoudas, Konstantinos, 1968-
出版: (2013)

A Denotational Semantics of CLU
由: Scheifler, Robert W.
出版: (2023)

Denotational semantics for occam 2
由: Goldsmith, M, et al.
出版: (1993)

Denotational semantics for occam II
由: Roscoe, A, et al.
出版: (1993)

The denotational description of programming languages : an introduction /
由: 240486 Gordon, Michael J. C.
出版: (1979)

Denotational validation of higher-order Bayesian inference
由: Scibior, A, et al.
出版: (2018)

Towards a denotational semantics for ET−LOTOS
由: Bryans, J, et al.
出版: (1995)

Denotational semantics for occam2‚ Part 2
由: Roscoe, A, et al.
出版: (1994)

Denotational semantics for occam2‚ Part 1
由: Roscoe, A, et al.
出版: (1994)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
由: Hoare, C
出版: (2015)

Efficient verification of VLSI circuits based on syntax and denotational semantics
出版: (2004)

Denotational Semantics of Determinate and Non-Determinate Data Flow Programs
由: Kosinski, Paul Roman
出版: (2023)

Using a denotational proof language to verify dataflow analyses
由: Hao, Melissa B. (Melissa Betty), 1979-
出版: (2014)

A Virtual Machine for a Type-omega Denotational Proof Language
由: III, Teodoro Arvizo
出版: (2004)

From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: An Overview
由: Trakhtenbrot, B.A., et al.
出版: (2023)

Trace types and denotational semantics for sound programmable inference in probabilistic languages
由: Lew, Alexander, et al.
出版: (2021)

A virtual machine for a type-[omega] denotational proof language
由: Arvizo, Teodoro, 1978-
出版: (2014)

Understanding ALGOL: A View of a Recent Convert to Denotational Semantics
由: Meyer, Albert R.
出版: (2023)

A basic symbol to denote the actual or potential presence of ionizing radiation
由: 8096 British Standards Institution
出版: (1968)

An intelligent sketchpad : a gestural language for denoting temporal relations in dynamic design
由: Donoghue, Karen
出版: (2011)

A fully abstract denotational semantics for the calculus of higher−order communicating systems
由: Thomsen, B, et al.
出版: (2001)

Classification of Mandarin Chinese simple adjectives : a scale-based analysis of their quantitative denotations
由: Lin, Jingxia, et al.
出版: (2018)

Frege's paradox.
由: Mendelsohn, Richard Lloyd, et al.
出版: (2009)

On the paradox of knowability
由: Williamson, T
出版: (1987)

On the structure of paradoxes
由: Pavlovic, D
出版: (1992)

The Paradox of nonviolence
由: Devji, F
出版: (2011)

The Gibbs paradox
由: Saunders, S
出版: (2018)

THE PARADOX OF REGULATION
由: Lange, B
出版: (2012)

Paradoxes of punishment
由: Payne, L
出版: (2009)

Condorcets paradox /
由: 191161 Gehrlein, William V.
出版: (2006)

Paradoxes and the infinite /
由: Open University. History of Mathematics Cource Team, et al.
出版: (1975)

Paradoxes in geology /
由: Briegel, Ueli, et al.
出版: (2001)

Paradoxes of physics /
由: 171732 Chambadal, Paul
出版: (1972)