Tag formal-digital-libraries [9 articles] Export Sort

Recent papers classified by the tag formal-digital-libraries.

Hide details

	A Framework for Interactive Proof [My Copy] Towards Mechanized Mathematical Assistants (2007), pp. 161-175. by David Aspinall, Christoph Lüth, Daniel Winterstein posted to fdls formal-digital-libraries by Scis0000002 on 2009-06-21 08:40:07 as
	Targeted Development of Registries of Biological Parts [My Copy] PLoS ONE, Vol. 3, No. 7. (16 July 2008), e2671. by Jean Peccoud, Megan F. Blauvelt, Yizhi Cai, et al.Kristal L. Cooper, Oswald Crasta, Emily C. Delalla, Clive Evans, Otto Folkerts, Blair M. Lyons, Shrinivasrao P. Mane, Rebecca Shelton, Matthew A. Sweede, Sally A. Waldon posted to biobanks biological-effects biological-structures biological-substrates combining components dbs digital-libraries extremal-biology fdls formal-biology formal-digital-libraries functionalities genomes homology hyperefficiency igem kbs libraries model-organisms modularity modules molecular-machines molecular-structures registries repositories reusability sequences synthetic-biology by Scis0000002 on 2009-05-22 18:52:21 as along with 7 people peccoud trm005 antonkratz austin guhjy gulsacan grahamc
	The Mathematical Universe [My Copy] (5 Apr 2007) by Max Tegmark posted to abstract-model-theory algorithmic-information-theory all-possible-physical-theories all-possible-universes definability energies ensemble-theories fol formal-digital-libraries formal-interoperability formal-language-theory formal-physics formal-science formal-theories inside logical-information-systems mathematical-constants mathematical-logic mathematical-physics mathematical-structure-of-sciences mathematical-structures metalogical-frameworks metamathematical-frameworks order-structures outside philosophy-of-science physical-constants physical-models physical-structures physical-theories research-frameworks synthetic-physics synthetic-science theoretical-physics theories toes topos-theory transformers unified-theories universes by Scis0000002 on 2008-06-28 11:25:56 as along with 13 people and 3 groups bnewbold Tavakoli joaojfn A_Olympia jrw RMT proportional JayDugger papillon80 gpi paes webbjn qwermish Ahad-Yaser Philosophy_of_Information Blog_and_Wiki_Research
	Perspective Switching Using Theories and Interpretations [My Copy] by William M. Farmer posted to category-of-modules category-of-ontologies category-of-theories contextuality distributedness formal-digital-libraries formal-mathematics formal-theories hets interoperability modularity network-of-modules network-of-ontologies network-of-theories problem-solving semweb support theory-interpretations unified-concept-theory w-alignments by Scis0000002 on 2007-08-23 15:10:36 as along with 1 person scis0000001
	Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements [My Copy] (27 Dec 2004) by Juergen Schmidhuber posted to abstract-machines approximating architectures argumentation-games argumentation-theory cognitive-architectures computability-logic computational-intelligence constructivism epistemic-logic formal-computational-intelligence formal-digital-libraries formalization-hypothesis idempotence inner-models meta-level-architectures metalogical-frameworks omega-hierarchies parallelization quantum-computational-intelligence reflectivity self-interacting speed-games topos-theory by Scis0000002 on 2007-08-22 23:40:30 as along with 1 person scis0000001
	It is Time to Mechanize Programming Language Metatheory [My Copy] by Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic posted to formal-digital-libraries managed-logic metatheory by Scis0000002 on 2007-08-19 23:55:59 as
	Logical Aspects of Digital Mathematics Libraries [My Copy] by Stuart Allen, James Caldwell, Robert Constable posted to formal-digital-libraries by Scis0000002 on 2007-08-07 22:23:26 as
	System Description: Twelf --- A Meta-Logical Framework for Deductive Systems [My Copy] In Proceedings of the 16th International Conference on Automated Deduction (CADE-16) (1999), pp. 202-206. by Frank Pfenning, Carsten Schürmann edited by H. Ganzinger posted to computational-logic formal-digital-libraries formal-digital-library general-logics interoperability metalogical-frameworks metalogics metaprogramming metascience theory-of-institutions twelf unified-concept-theory universal-logic by Scis0000002 on 2007-07-10 09:20:53 as
	A Topos Foundation for Theories of Physics: I. Formal Languages for Physics [My Copy] ArXiv Quantum Physics e-prints (March 2007) by A. Doering, C. J. Isham posted to cartesian-closed-categories categorical-logic computational-complexity-theory computational-logic conceptua conceptual-structures formal-digital-libraries formal-interoperability formal-physics formal-theories formality functional-programming general-logics goedel-machine hierarchy-of-complexity-classes higher-order-categorical-logic higher-topos-theory hyperdoctrines inquiry interoperability intuitionistic-logic lamda-calculus language-selection local-mathematics logic-selection logical-structures logical-theories metalogical-frameworks metalogics philosophy-of-science physical-models physical-theories proof-transformation relativity research-frameworks resource-allocation sketches topos-morphisms topos-theory toposes type-theory by Scis0000002 on 2007-07-07 14:51:07 as along with 8 people GorgeousNicko svbcrypto prydzews jrw proportional madhadron scis0000001 gpi

Note: You may cite this page as: http://www.citeulike.org/tag/formal-digital-libraries

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

metalogical-frameworks	4
formal-theories	3
interoperability	3
topos-theory	3
computational-logic	2
fdls	2
formal-interoperability	2
formal-physics	2
general-logics	2
metalogics	2
modularity	2
philosophy-of-science	2
physical-models	2
physical-theories	2
research-frameworks	2
unified-concept-theory	2
abstract-machines	1
abstract-model-theory	1
algorithmic-information-theory	1
all-possible-physical-theories	1
all-possible-universes	1
approximating	1
architectures	1
argumentation-theory	1
biobanks	1
cartesian-closed-categories	1
cognitive-architectures	1
combining	1
components	1
computability-logic	1
computational-complexity-theory	1
computational-intelligence	1
conceptual-structures	1
constructivism	1
dbs	1
digital-libraries	1
distributedness	1
energies	1
ensemble-theories	1
epistemic-logic	1
extremal-biology	1
formal-digital-library	1
formal-language-theory	1
formal-mathematics	1
formal-science	1
formality	1
functional-programming	1
goedel-machine	1
hets	1
hierarchy-of-complexity-classes	1
higher-order-categorical-logic	1
higher-topos-theory	1
homology	1
hyperefficiency	1
idempotence	1
igem	1
inner-models	1
inquiry	1
inside	1
intuitionistic-logic	1
local-mathematics	1
logic-selection	1
logical-information-systems	1
logical-structures	1
logical-theories	1
managed-logic	1
mathematical-constants	1
mathematical-logic	1
mathematical-physics	1
mathematical-structures	1
meta-level-architectures	1
metamathematical-frameworks	1
molecular-machines	1
molecular-structures	1
network-of-modules	1
network-of-ontologies	1
network-of-theories	1
omega-hierarchies	1
order-structures	1
parallelization	1
physical-structures	1
problem-solving	1
reflectivity	1
registries	1
relativity	1
resource-allocation	1
reusability	1
self-interacting	1
speed-games	1
support	1
synthetic-biology	1
theoretical-physics	1
theory-of-institutions	1
toes	1
toposes	1
transformers	1
type-theory	1
unified-theories	1
universal-logic	1
w-alignments	1

Tag formal-digital-libraries [9 articles] Export Sort

Related Tags