Narrow your search

Library

KU Leuven (3)

ULB (2)

ULiège (2)

AP (1)

EhB (1)

KDG (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLouvain (1)

More...

Resource type

book (5)

digital (1)


Language

English (6)


Year
From To Submit

2009 (2)

2007 (3)

1999 (1)

Listing 1 - 6 of 6
Sort by

Digital
Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Authors: ---
ISBN: 9783540744641 Year: 2007 Publisher: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers
Authors: --- ---
ISBN: 9783540744634 3540744630 3540744649 Year: 2007 Publisher: Berlin ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Automatic theorem proving --- Computer programming --- Théorèmes --- Programmation (Informatique) --- Congresses. --- Démonstration automatique --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Artificial Intelligence (incl. Robotics). --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Informatics --- Science --- Logic design. --- Algebra --- Artificial Intelligence. --- Data processing. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer science—Mathematics. --- Compilers (Computer programs). --- Machine theory. --- Compilers and Interpreters. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software


Book
Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Authors: --- ---
ISBN: 9783540744641 Year: 2007 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

These proceedings contain a selection of refereed papers presented at or related totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996), which was held April 18-21, 2006 at the University of Nottingham, UK. The topic of this workshopwasformalreasoning andcomputer programming basedontypetheory:languagesandcomputerizedtoolsforreasoning,andapp- cations in several domains such as analysis of programming languages, certi?ed software, formalization of mathematics and mathematics education. The workshopwasattended by more than 100 researchersand included more than 60 presentations. We also had the pleasure of three invited lectures, from Bart Jacobs (University of Nijmegen), Hongwei Xi (Boston University) and - mon Peyton Jones (Microsoft Research). Simon Peyton Jones spoke in a joint session with the workshop on Trends in Functional Programming (TFP), which was co-located with the TYPES conference. From 29 submitted papers, 17 were selected after a reviewing process. The ?nal decisions were made by the editors. This workshop followed a series of meetings of the TYPES working group funded by the European Union (IST project 29001, ESPRIT Working Group 21900, ESPRIT BRA 6435).

Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
Authors: ---
ISBN: 3540665374 3540481672 9783540665373 Year: 1999 Volume: 1657 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Automatic theorem proving --- Computer programming --- Type theory --- Théorèmes --- Programmation (Informatique) --- Types, Théorie des --- Congresses. --- Démonstration automatique --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Théorèmes --- Types, Théorie des --- Démonstration automatique --- Congrès --- Computer science. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Programming Languages, Compilers, Interpreters. --- Artificial Intelligence (incl. Robotics). --- Logic, Symbolic and mathematical --- Information theory. --- Logic design. --- Artificial Intelligence. --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Automatic theorem proving - Congresses --- Computer programming - Congresses --- Type theory - Congresses


Book
Proceedings of the 3rd workshop on Programming languages meets program verification
Authors: ---
ISBN: 1605583308 Year: 2009 Publisher: ACM

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009
Authors: --- --- --- ---
Year: 2009 Publisher: [Place of publication not identified] Association for Computing Machinery

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 6 of 6
Sort by


Copyright ©2025 SemperTool