The Collection of
Computer Science Bibliographies
Up: Bibliographies on Software/Hardware Engineering and Formal Methods Collection Home

Bibliography on Logic in Program Construction

[   About   |  Browse   |   Statistics   ]

Number of references:2061Last update:June 25, 2004
Number of online publications:516Supported:yes
Most recent reference:2004

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

Information on the Bibliography

Author:
Tarmo Uustalu <tarmo @ cs . ioc . ee> (email mangled to prevent spamming)
Institute of Cybernetics (IoC) at Tallinn Technical University
Tallinn
Estonia
Keywords:
classical proof theory and model theory, higher-order logic, epsilon-symbol, free logic, classical theorem proving, in particular Maslov's method, resolution, classical logic as constructive; constructive mathematics, proof theory, model theory of intuitionistic logic, Curry-Howard correspondence, decision and theorem proving, logic programming; quantum and anti-intuitionistic logic; typed lambda calculi and type assignment systems, Barendregt's cube, pure type systems, inductive and co-inductive types, subtyping and intersection types, monads; Martin-Löf's type theory; modal, temporal, and dynamic logic; Kozen's modal mu-calculus; finite model theory; linear logic; constraints; mathematics of program construction, functional programming and category theory; semantics of programming languages; structural synthesis of programs
Author Comments:
This is a BibTeX bibliography I've compiled for my personal use in my research. The bibliography is not complete to any extent. It just reflects what I've needed in my research, what I am interested in and what I've come across.

NB. Conference papers are listed in incollection format.

Browsing the bibliography

Bibliographic Statistics

Types:
incollection(839), article(727), techreport(179), book(134), unpublished(93), phdthesis(77), mastersthesis(9), inbook(3)
Fields:
title(2062), author(2061), year(2045), pages(1496), volume(1281), publisher(923), address(889), number(880), booktitle(840), journal(726), series(636), editor(617), url(509), month(266), note(185), institution(183), type(177), school(86), special(82), chapter(44), mr(30), edition(13), stat(10), organization(8), longauthor(3), date(1)

Distribution of publication dates:

Distribution of publication dates

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.