Book serie: / Книги серии: Progress in theoretical computer science » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Progress in theoretical computer science

book Semantics of type theory: correctness, completeness and independence results

Semantics of type theory: correctness, completeness and independence results

djvu

Author: Streicher Thomas
Language: English
Year: 1991

00

30.01.2024

0

0

book Neural Networks and Analog Computation: Beyond the Turing Limit

Neural Networks and Analog Computation: Beyond the Turing Limit

djvu

Author: Hava T. Siegelmann
Language: English
Year: 1999

00

29.01.2024

0

0

book The Graph Isomorphism Problem: Its Structural Complexity

The Graph Isomorphism Problem: Its Structural Complexity

djvu

Author: Koebler J. Schoening U. Toran J
Language: English
Year: 1993

00

29.01.2024

0

0

book Finite Automata, Formal Logic, and Circuit Complexity

Finite Automata, Formal Logic, and Circuit Complexity

pdf

Author: Howard Straubing
Language: English
Year: 1994

00

27.01.2024

0

0

book Isomorphisms of Types: from λ-calculus to information retrieval and language design

Isomorphisms of Types: from λ-calculus to information retrieval and language design

djvu

Author: Roberto Di Cosmo (auth.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Nondeterminism in Algebraic Specifications and Algebraic Programs

Nondeterminism in Algebraic Specifications and Algebraic Programs

pdf

Author: Heinrich Hussmann (auth.)
Language: English
Year: 1993

00

27.01.2024

0

0

book Verifying Temporal Properties of Systems

Verifying Temporal Properties of Systems

pdf

Author: Julian Charles Bradfield (auth.)
Language: English
Year: 1992

00

27.01.2024

0

0

book Canonical Equational Proofs

Canonical Equational Proofs

pdf

Author: Leo Bachmair (auth.)
Language: English
Year: 1991

00

27.01.2024

0

0

book Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion

Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion

pdf

Author: Franck van Breugel
Language: English
Year: 1996

00

27.01.2024

0

0

book Object-Oriented Programming A Unified Foundation

Object-Oriented Programming A Unified Foundation

pdf

Author: Giuseppe Castagna (auth.)
Language: English
Year: 1996

00

27.01.2024

0

0