User contributions
9 July 2013
Category:Learning Systems
'''{{PAGENAME}}'''
Category:Declarative Programming
'''{{PAGENAME}}'''
Category:Constraint Satisfaction
'''{{PAGENAME}}'''
Category:Automated Reasoning
'''{{PAGENAME}}'''
Directory:Jon Awbrey/Papers/Theme One Program : Exposition
add categories
+629
Directory:Jon Awbrey/Projects/Theme One Program
no edit summary
-1
Directory:Jon Awbrey/Projects/Theme One Program
no edit summary
-62
Directory:Jon Awbrey/Projects/Theme One Program
add categories
+629
Directory:Jon Awbrey/Projects/Theme One Program
no edit summary
-124
8 July 2013
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
Transformations of Type B2 → B2: link to image
+30
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Transformations of Type B2 → B2: link to image
+30
File:Diff Log Dyn Sys -- Figure 70-b -- Tangent Functor Diagram.gif
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
delete obsolete tags
-179
7 July 2013
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
trim obsolete tags
-179
Category:Turing Machines
'''{{PAGENAME}}'''
Category:Computational Complexity
'''{{PAGENAME}}'''
Category:Computation
'''{{PAGENAME}}'''
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
add categories
+373
6 July 2013
Directory:Jon Awbrey/Papers/Propositions As Types
no edit summary
-19
Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
add categories
+214
5 July 2013
Directory:Jon Awbrey/Papers/Semiotic Information
no edit summary
+43
Category:Sign Relations
'''{{PAGENAME}}'''
Directory:Jon Awbrey/Papers/Semiotic Information
no edit summary
+28
Directory:Jon Awbrey/Papers/Semiotic Information
add categories
+167
Directory talk:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Created page with '==Work Area== ===Functional Quantifiers=== The '''umpire measure''' of type <math>{\Upsilon : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}}\!</math> links the constant proposit…'
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
table captions
+384
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
update
+735
4 July 2013
2 July 2013
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Logic as sign transformation: fix section links
-108
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
no edit summary
-19
Inquiry Live
Peer nodes
-163
Logic Live
no edit summary
+54
Logic Live
Peer nodes
-199
Logic Live
Peer nodes
-10
1 July 2013
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
update
+776
User:Jon Awbrey
Presentations and Publications: update
+109
Directory:Jon Awbrey
Presentations and Publications: update
+109
28 June 2013
27 June 2013
26 June 2013
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 8
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 7
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
no edit summary
-19
User talk:OmniMediaGroup
how did you implement that "nonumtoc" thingie?
+251