First Page | Document Content | |
---|---|---|
Date: 2015-02-02 08:45:52Computability 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.docAdd to Reading ListSource URL: foibg.comDownload Document from Source WebsiteFile Size: 153,96 KBShare Document on Facebook |
Microsoft Word - IBSAlgorithms.docDocID: 1p3sE - View Document | |
First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a bDocID: 1mgFk - View Document |