<--- Back to Details
First PageDocument Content
Computability theory / Theory of computation / Mathematical logic / Models of computation / Theoretical computer science / Gdel numbering / Membrane computing / Multiset / Kurt Gdel / Computable number / Numbering / Turing machine
Date: 2015-02-02 08:45:52
Computability theory
Theory of computation
Mathematical logic
Models of computation
Theoretical computer science
Gdel numbering
Membrane computing
Multiset
Kurt Gdel
Computable number
Numbering
Turing machine

Microsoft Word - IBSAlgorithms.doc

Add to Reading List

Source URL: foibg.com

Download Document from Source Website

File Size: 153,96 KB

Share Document on Facebook

Similar Documents

Computability theory / Theory of computation / Mathematical logic / Models of computation / Theoretical computer science / Gdel numbering / Membrane computing / Multiset / Kurt Gdel / Computable number / Numbering / Turing machine

Microsoft Word - IBSAlgorithms.doc

DocID: 1p3sE - View Document

Logic / Mathematical logic / Abstraction / Model theory / Non-classical logic / Logic in computer science / Predicate logic / First-order logic / Boolean satisfiability problem / Gdel numbering / Many-valued logic / Kripke semantics

First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b

DocID: 1mgFk - View Document