Toward the interpretation of non-constructive reasoning as non-monotonic learning (Q1004290): Difference between revisions

@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference of formal languages from positive data
+Normal rank
@@ Property / cites work @@
+Q4364394
@@ Property / cites work: Q4364394 / rank @@
+Normal rank
@@ Property / cites work @@
+Some intuitionistic equivalents of classical principles for degree 2 formulas
+Normal rank
@@ Property / cites work @@
+Games with 1-backtracking
@@ Property / cites work: Games with 1-backtracking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263862
@@ Property / cites work: Q4263862 / rank @@
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Toward a mathematical theory of inductive inference
+Normal rank
@@ Property / cites work @@
+A semantics of evidence for classical arithmetic
@@ Property / cites work: A semantics of evidence for classical arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083409
@@ Property / cites work: Q4083409 / rank @@
+Normal rank
@@ Property / cites work @@
+Limiting recursion
@@ Property / cites work: Limiting recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics based on incremental learning -- excluded middle and inductive inference
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726697
@@ Property / cites work: Q5726697 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated Limiting Recursion and the Program Minimization Problem
+Normal rank
@@ Property / cites work @@
+Q5459632
@@ Property / cites work: Q5459632 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank