The Significance of Aristotle's Particularisation in the Foundations of Mathematics, Logic and Computability: Rosser and Formally Undecidable Arithmetical Propositions (Englisch)
- Neue Suche nach: Anand, B.S.
- Neue Suche nach: Anand, B.S.
- Neue Suche nach: Arabnia, H.
In:
International Conference on Foundations of Computer Science
;
95-102
;
2009
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:The Significance of Aristotle's Particularisation in the Foundations of Mathematics, Logic and Computability: Rosser and Formally Undecidable Arithmetical Propositions
-
Beteiligte:Anand, B.S. ( Autor:in ) / Arabnia, H.
-
Kongress:International Conference on Foundations of Computer Science ; 2009 ; Las Vegas, Nevada
-
Erschienen in:
-
Verlag:
- Neue Suche nach: CSREA
-
Erscheinungsort:Las Vegas
-
Erscheinungsdatum:01.01.2009
-
Format / Umfang:8 pages
-
Anmerkungen:Includes bibliographical references and index
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
Using Model Checking for Decision Making in Computer GamesTran, Q.-N. / Hariharan, G. et al. | 2009
- 9
-
Quantum Pseudo-Fractional Fourier Transform and Its Application to Quantum Phase EstimationParasa, S.V. / Eswaran, K. et al. | 2009
- 16
-
Pseudo-Random Walks On Graphs And CryptographyForys, W. / Oprocha, P. et al. | 2009
- 20
-
Dictionary Operations in Membrane ComputingTagawa, H. / Fujiwara, A. et al. | 2009
- 27
-
An Analysis of Hierarchical Identity-Based CryptosystemsLin, J.-S. / Tseng, F.-K. / Chen, R.-J. et al. | 2009
- 32
-
Molecular Solutions for the Minimum Edge Dominating Set Problem on DNA-based SupercomputingSafaei, S. / Dalvand, B. / Esmaeili, B. / Safaei, V. et al. | 2009
- 37
-
A Single Tape Deterministic Turing Machine of Adaptive Deterministic Routing Algorithm Designed for Torus NetworkChanderwal, N. / Chauhan, G. / Sehgal, V.K. / Sharma, R. / Gupta, A. / Patel, A. / Arora, A.S. / Shrivastava, U. / Vaish, R. et al. | 2009
- 41
-
Procedures for Floating Point Operations with DNA MoleculesTokumaru, Y. / Fujiwara, A. et al. | 2009
- 47
-
Single Tape Deterministic Turing Machine of Routing Algorithms Designed for Torus NetworkChanderwal, N. / Chauhan, G. / Sharma, R. / Sehgal, V.K. / Verma, R. / Kumar, G. / Shrivastava, U. / Vaish, R. et al. | 2009
- 53
-
A Methodology for the Construction of Generating Functions and its Application to Bessel FunctionsTickodri-Togboa, S.S. et al. | 2009
- 61
-
Spectral Analysis of Attractors in Random Boolean Network ModelsHawick, K. et al. | 2009
- 68
-
Tight Bound for MatchingHan, Y. et al. | 2009
- 75
-
Circuits as a Classifier for Small-World Network ModelsLeist, A. / Hawick, K. et al. | 2009
- 82
-
The Significance of Aristotle's Particularisation in the Foundations of Mathematics, Logic and Computability: Cohen and the Axiom of ChoiceAnand, B.S. et al. | 2009
- 87
-
An Efficient Method for Finding Square Roots for Elliptic Curves over OEFMahfouz, A.A. / Hancke, G. et al. | 2009
- 92
-
An Infinite Class of Non-Hamiltonian Voronoi Duals Based on Regular PolygonsKantabutra, V. et al. | 2009
- 95
-
The Significance of Aristotle's Particularisation in the Foundations of Mathematics, Logic and Computability: Rosser and Formally Undecidable Arithmetical PropositionsAnand, B.S. et al. | 2009
- 103
-
Lower Bounds for Accessing Information on Pure Pointer MachinesCloteaux, B. / Ranjan, D. et al. | 2009
- 108
-
On Closure Operator for Interval Order StructuresJanicki, R. / Zubkova, N. et al. | 2009
- 115
-
The Importance of Symmetric RepresentationO Neil, T. et al. | 2009
- 120
-
Domination and Independence on the Rectangular Torus by Rooks and BishopsDeMaio, J. / Faust, W. et al. | 2009
- 126
-
Decomposing a Partially Ordered Set into ChainsChen, Y. et al. | 2009
- 133
-
Compositional Automata Reduction with Non-critical Path SlicingChen, Y.-R. / Chen, T.-Y. / Hsiung, P.-A. / Chen, S.-J. / Hu, Y.-H. et al. | 2009
- 139
-
Cartesian Closed Categories of R-PosetsWu, L.-G. / Fan, L. et al. | 2009
- 145
-
A Priori Strategies for the Probabilistic Total Weighted Flowtime on Parallel Identical Machines ProblemBouyahia, Z. / Bellalouna, M. / Ghedira, K. / Jaillet, P. et al. | 2009
- 155
-
A Quadratic Integer Programming Framework for Dedicated Machine ConstraintPham, H.N.A. / Shr, A. / Chen, P.P. et al. | 2009
- 162
-
Optimal Software Testing -- A Cooling Down ProcessYang, L. / Dang, Z. / Fischer, T.R. et al. | 2009
- 169
-
Fast Parallel Molecular Solution to the Maximum Triangle Packing Problem on Massively Parallel Bio-ComputingDalvand, B. / Safaei, S. / Nazari, M. et al. | 2009
- 174
-
Mitigating Starvation of Multi-Level Feedback Queue Scheduling with Declining Max Weighted AverageHoganson, K. et al. | 2009
- 180
-
The Decidability of the Halting ProblemFerreira, U. et al. | 2009