Del 1104 i serien Lecture Notes in Mathematics

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Part 2: Computation and Proof Theory

Häftad, Engelska, 1984

AvM. M. Richter,E. Börger,W. Oberschelp,B. Schinzel,W. Thomas

649 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1984-12-01
Mått155 x 235 x 27 mm
Vikt733 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Mathematics
Antal sidor482
Upplaga1984
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540139010

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

Contiguous R.E. Degrees.- Abstract construction of counterexamples in recursive graph theory.- Minimal degrees and 1-generic sets below 0?.- Undecidability and recursive equivalence II.- Logical syntax and computational complexity.- Subrecursive hierarchies via direct limits.- A star-finite relational semantics for parallel programs.- Between constructive and classical mathematics.- Partial closures and semantics of while: Towards an iteration-based theory of data types.- Toward logic tailored for computational complexity.- On a new notion of partial conservativity.- Finitely approximable sets.- A unified approach to constructive and recursive analysis.- On faithful interpretability.- Abstract recursion as a foundation for the theory of algorithms.- Some logical problems connected with a modular decomposition theory of automata.- Diophantine equations in a fragment of number theory.- Generalized rules for quantifiers and the completeness of the intuitionistic operators &, ?, ?, ?, ?, ?.- On subsets of the Skolem class of exponential polynomials.- Effective operators in a topological setting.- An axiomatization of the apartness fragment of the theory DLO+ of dense linear order.

Du kanske också är intresserad av

Del 1104

Advances in Computing and Information

N. R. Shetty, N. H. Prasad, N. Nalini

Häftad, 2024

3 999 kr

Del 1104

Glycobiophysics

Yoshiki Yamaguchi, Koichi Kato

Inbunden, 2018

1 439 kr

Del 1104

Advances in Computing and Information

N. R. Shetty, N. H. Prasad, N. Nalini

Inbunden, 2023

3 999 kr

Rudolf Kohlhaas - Die Grundlegenden Kalorimetrischen Auswertemethoden: Herleitung Der Thermodynamischen Funktionen Des Reinen Eisens Auf Grund Von Messungen an Einem Ei, Häftad

Del 1104

Die Grundlegenden Kalorimetrischen Auswertemethoden: Herleitung Der Thermodynamischen Funktionen Des Reinen Eisens Auf Grund Von Messungen an Einem Ei

Rudolf Kohlhaas

Häftad, 1962

729 kr

Youssef Benadada, Fatima-Zahra Mhada, Jaouad Boukachour, Fatima Ouzayd, Ahmed El Hilali Alaoui - Proceeding of the 7th International Conference on Logistics Operations Management, GOL'24, Häftad

Del 1104

Proceeding of the 7th International Conference on Logistics Operations Management, GOL'24

Youssef Benadada, Fatima-Zahra Mhada, Jaouad Boukachour, Fatima Ouzayd, Ahmed El Hilali Alaoui

Häftad, 2024

3 149 kr

Del 1104

Advanced Intelligent Systems for Sustainable Development (AI2SD’2019)

Mostafa Ezziyyani

Häftad, 2020

2 859 kr

Del 1104

Die Nemesis der Medizin

Ivan Illich

Häftad, 2026

359 kr

Del 1104

Ich hätte Nein sagen können

Annika Thor

Häftad

149 kr

Logic and Machines: Decision Problems and Complexity

E. Börger, G. Hasenjaeger, D. Rödding

Häftad, 1984

509 kr

Del 1103