Logic and Complexity in Computer Science

Saved in:
Bibliographic Details
Main Authors: BEAUQUIER, Danièle, MATIJASSEVICH, Yuri
Format: Conference Proceeding
Language:English
Subjects:
Algorithmics. Computability. Computer arithmetics
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
General logic
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Recursion theory
Sciences and techniques of general use
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0304-3975
1879-2294