An infinitary paradox of denotation

An infinitary paradox of denotation

Hiển thị phiên bản (1) khác

Chi tiết về thư mục
Tác giả chính:	Uzquiano, G
Định dạng:	Journal article
Được phát hành:	2004

Những quyển sách tương tự

An infinitary paradox of denotation
Bằng: Uzquiano, G
Được phát hành: (2004)

The Syntax and semantics of infinitary languages /
Bằng: Barwise, John
Được phát hành: (1968)

Finitary refinement checks for infinitary specifications
Bằng: Roscoe, A
Được phát hành: (2004)

Large infinitary languages : model theory /
Bằng: 366838 Dickmann, M. A.
Được phát hành: (1975)

Foundations of systems theory : finitary and infinitary conditions /
Bằng: 385591 Anderson, B. D. O., et al.
Được phát hành: (1976)

The paradox of the knower without epistemic closure?
Bằng: Uzquiano, G
Được phát hành: (2004)

Denotational semantics for occam
Bằng: Roscoe, A
Được phát hành: (1985)

Denotational proof languages
Bằng: Arkoudas, Konstantinos, 1968-
Được phát hành: (2013)

A Denotational Semantics of CLU
Bằng: Scheifler, Robert W.
Được phát hành: (2023)

Denotational semantics for occam 2
Bằng: Goldsmith, M, et al.
Được phát hành: (1993)

Denotational semantics for occam II
Bằng: Roscoe, A, et al.
Được phát hành: (1993)

The denotational description of programming languages : an introduction /
Bằng: 240486 Gordon, Michael J. C.
Được phát hành: (1979)

Denotational validation of higher-order Bayesian inference
Bằng: Scibior, A, et al.
Được phát hành: (2018)

Towards a denotational semantics for ET−LOTOS
Bằng: Bryans, J, et al.
Được phát hành: (1995)

Denotational semantics for occam2‚ Part 2
Bằng: Roscoe, A, et al.
Được phát hành: (1994)

Denotational semantics for occam2‚ Part 1
Bằng: Roscoe, A, et al.
Được phát hành: (1994)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
Bằng: Hoare, C
Được phát hành: (2015)

Efficient verification of VLSI circuits based on syntax and denotational semantics
Được phát hành: (2004)

Denotational Semantics of Determinate and Non-Determinate Data Flow Programs
Bằng: Kosinski, Paul Roman
Được phát hành: (2023)

Using a denotational proof language to verify dataflow analyses
Bằng: Hao, Melissa B. (Melissa Betty), 1979-
Được phát hành: (2014)

A Virtual Machine for a Type-omega Denotational Proof Language
Bằng: III, Teodoro Arvizo
Được phát hành: (2004)

From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: An Overview
Bằng: Trakhtenbrot, B.A., et al.
Được phát hành: (2023)

Trace types and denotational semantics for sound programmable inference in probabilistic languages
Bằng: Lew, Alexander, et al.
Được phát hành: (2021)

A virtual machine for a type-[omega] denotational proof language
Bằng: Arvizo, Teodoro, 1978-
Được phát hành: (2014)

Understanding ALGOL: A View of a Recent Convert to Denotational Semantics
Bằng: Meyer, Albert R.
Được phát hành: (2023)

A basic symbol to denote the actual or potential presence of ionizing radiation
Bằng: 8096 British Standards Institution
Được phát hành: (1968)

An intelligent sketchpad : a gestural language for denoting temporal relations in dynamic design
Bằng: Donoghue, Karen
Được phát hành: (2011)

A fully abstract denotational semantics for the calculus of higher−order communicating systems
Bằng: Thomsen, B, et al.
Được phát hành: (2001)

Classification of Mandarin Chinese simple adjectives : a scale-based analysis of their quantitative denotations
Bằng: Lin, Jingxia, et al.
Được phát hành: (2018)

Frege's paradox.
Bằng: Mendelsohn, Richard Lloyd, et al.
Được phát hành: (2009)

On the paradox of knowability
Bằng: Williamson, T
Được phát hành: (1987)

On the structure of paradoxes
Bằng: Pavlovic, D
Được phát hành: (1992)

The Paradox of nonviolence
Bằng: Devji, F
Được phát hành: (2011)

The Gibbs paradox
Bằng: Saunders, S
Được phát hành: (2018)

THE PARADOX OF REGULATION
Bằng: Lange, B
Được phát hành: (2012)

Paradoxes of punishment
Bằng: Payne, L
Được phát hành: (2009)

Condorcets paradox /
Bằng: 191161 Gehrlein, William V.
Được phát hành: (2006)

Paradoxes and the infinite /
Bằng: Open University. History of Mathematics Cource Team, et al.
Được phát hành: (1975)

Paradoxes in geology /
Bằng: Briegel, Ueli, et al.
Được phát hành: (2001)

Paradoxes of physics /
Bằng: 171732 Chambadal, Paul
Được phát hành: (1972)