<--- Back to Details
| 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 |
Add to Reading List |
Microsoft Word - IBSAlgorithms.doc | Condition for the absence of timelike closed curves How to find new Lorentzian metrics? Comments on spacetime kinematics First example: Metrics with vanishing shear tensor Second example: Gödel metric Third example: GenDocID: 1qgau - View Document |
| Microsoft Word - Front_page-05.docDocID: 1pKnm - View Document |
| Microsoft Word - IBSAlgorithms.docDocID: 1p3sE - View Document |
| The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1DocID: 1lFRF - View Document |