Tag constructive [23 articles] Export

Recent papers classified by the tag constructive.

	How to use a Wiki in education: 'Wiki based effective constructive learning' [My Copy] In WikiSym '06: Proceedings of the 2006 international symposium on Wikis (2006), pp. 131-132. by Michele Notari posted to collaboration constructive learning wiki by nguy0101 on 2008-10-20 11:46:24 as along with 2 people focht qurizz
	Towards Formalizing Categorical Models of Type Theory in Type Theory [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 196 (2008), pp. 137-151. by Alexandre Buisse, Peter Dybjer posted to category-theory constructive type-theory by Scis0000002 on 2008-04-27 15:40:51 as
	A constructive approach to environmental valuation [My Copy] Ecological Economics, Vol. 21, No. 3. (June 1997), pp. 175-181. by Robin Gregory, Paul Slovic posted to approach assessment citizen constructive contingent cv decision ecological environment environmental evaluation health human impact making method mtr multiattribute participant pathways perspective policy social states united us valuation by nikko on 2008-04-17 03:11:41 as
	Constructive Technology Assessment. A New Paradigm for Managing Technology in Society [My Copy] In Managing Technology in Society: The Approach of Constructive Technology Assessment (22 June 1995) by Arie Rip, Thomas J. Misa, Johan Schot edited by Arie Rip, Thomas J. Misa, Johan Schot posted to assessment constructive management mtr risk technology by nikko on 2008-04-17 00:28:34 as along with 1 person birrabel
	Constructive Mathematics and Computer Programming [My Copy] Royal Society of London Philosophical Transactions Series A, Vol. 312 (October 1984), pp. 501-518. by P. Martin-Lof posted to constructive logic programming by ansobol on 2008-04-07 20:29:09 as along with 4 people and 1 group jrw Scis0000002 Constructivity jimburton Lambda the Ultimate
	Gleason's theorem has a constructive proof [My Copy] J. Philos. Logic, Vol. 29, No. 4. (2000), pp. 425-431. by Fred Richman posted to constructive _copy logic by adrian_pigors on 2008-02-22 12:27:45 as
	Lattice Quantum Field Theory --- A Constructive Approach [My Copy] by Daniel D. Ferrante posted to constructive lattices qft by Scis0000002 on 2008-01-18 00:04:24 as
	Constructive field theory and applications: Perspectives and open problems [My Copy] Journal of Mathematical Physics, Vol. 41 (June 2000), pp. 3764-3775. by V. Rivasseau posted to constructive field-theories topos-theory unifying by Scis0000002 on 2008-01-17 23:53:26 as
	Constructive Renormalization Theory [My Copy] ArXiv Mathematical Physics e-prints (February 1999) by V. Rivasseau posted to constructive renormalization-theory by Scis0000002 on 2008-01-17 23:51:14 as
	Constructive and Classical Models for Results in Economics and Game Theory [My Copy] Metroeconomica, Vol. 55, No. 2-3. (2004), pp. 141-154. by Kislaya Prasad posted to constructive game-theory by Scis0000002 on 2007-11-04 02:24:58 as
	Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi [My Copy] Theoretical Computer Science, Vol. 110, No. 2. (1993), pp. 249-339. by Jean H. Gallier posted to constructive logics by Scis0000002 on 2007-08-31 22:57:01 as along with 4 people and 2 groups rgrig scavadini mfrydr ds SRG_at_UCD complogic
	Topology via Constructive Logic [My Copy] (1999) by V. Steven posted to constructive geometric-logic logics topological-space topology toposes by Scis0000002 on 2007-07-14 15:16:15 as
	Constructive Reinforcement Learning [My Copy] by Jose H. Orallo posted to constructive reinforcement-learning by Scis0000002 on 2007-07-06 09:58:29 as
	Generative Learning Structures and Processes for Generalized Connectionist Networks [My Copy] No. 91-02. (1991) by Vasant Honavar, Leonard Uhr posted to constructive generative learning or by ananta on 2007-06-05 09:14:14 as
	Mathematical Foundations for Program Transformations [My Copy] In LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (1990), pp. 319-321. by Rahma B. Ayed, Jules Desharnais, Marc Frappier, Ali Mili posted to abstract-machine combination composition compositionality computability-logic computational-science constructive formal-development formal-science hetcasl heterogeneity hets iff logics matching program program-adaptation program-transformation programming proof proof-transformation software-incrementation software-merging specification transformation unified-concept-theory by scis0000001 on 2007-05-15 09:29:13 as along with 1 person Scis0000002
	Constructive Lattice Theory [My Copy] (1993) by Ronald Backhouse posted to constructive lattice-theory by scis0000001 on 2007-05-11 09:21:48 as
	Constructive Category Theory (No. 1) [My Copy] In Proceedings on Mathematical Foundations of Computer Science (1981), pp. 563-577. by Akira Kanda posted to category-theory constructive formalization by scis0000001 on 2007-05-10 01:53:55 as
	Constructing local optima on a compact interval [My Copy] Archive for Mathematical Logic, Vol. 46, No. 2. (February 2007), pp. 149-154. by Bridges, Douglas posted to constructive maths by BasSpitters on 2007-04-02 10:02:31 as
	Constructive Empiricism and Epistemic Modesty: Response to van Fraassen and Monton [My Copy] Erkenntnis, Vol. 64, No. 3. (October 2006), pp. 371-379. by Alspector-Kelly, Marc posted to constructive empiricism fraassen realism scientific van by cirdan on 2006-12-25 22:50:51 as
	Constructive Memory in Design Thinking [My Copy] by John S. Gero posted to associative constructive design memory by willbyrne to the group HCI-Bham on 2006-10-12 11:45:27 as
	The Borsuk-Ulam-property, Tucker-property and constructive proofs in combinatorics [My Copy] (13 Jul 2005) by Mark de Longueville, Rade T. Zivaljevic posted to combinatorics constructive topology by ansobol on 2006-08-28 04:38:23 as along with 1 person and 4 groups euclid Algorithms metric_embeddings TCS Polytopes
	Constructivism in Mathematics : Constructivism in Mathematics: Volume 1 [My Copy] (01 August 1988) by A. S. Troelstra posted to constructive constructivism mathematics by kontakte on 2006-02-10 16:10:19 as along with 1 person oisteing
	Forcing in Proof Theory [My Copy] The Bulletin of Symbolic Logic, Vol. 10, No. 3. (2004), pp. 305-333. by Jeremy Avigad posted to constructive deduction forcing intuitionistic logic prooftheory by greg_restall on 2005-03-13 03:07:52 as along with 2 people and 1 group yoriyuki rzach LogicPhilMath

Note: You may cite this page as: http://www.citeulike.org/tag/constructive

logic	3
logics	3
assessment	2
associative	2
category-theory	2
design	2
learning	2
memory	2
mtr	2
programming	2
qft	2
topology	2
_copy	1
abstract-machine	1
approach	1
citizen	1
collaboration	1
combination	1
combinatorics	1
composition	1
compositionality	1
computability-logic	1
computational-science	1
constructivism	1
contingent	1
cv	1
decision	1
deduction	1
ecological	1
empiricism	1
environment	1
environmental	1
evaluation	1
field-theories	1
forcing	1
formal-development	1
formal-science	1
formalization	1
fraassen	1
game-theory	1
gauge	1
generative	1
geometric-logic	1
health	1
hetcasl	1
heterogeneity	1
hets	1
human	1
iff	1
impact	1
intuitionistic	1
lattice-theory	1
lattices	1
making	1
management	1
matching	1
mathematics	1
maths	1
method	1
multiattribute	1
or	1
participant	1
pathways	1
perspective	1
policy	1
program	1
program-adaptation	1
program-transformation	1
proof	1
proof-transformation	1
prooftheory	1
realism	1
reinforcement-learning	1
renormalization-theory	1
risk	1
scientific	1
social	1
software-incrementation	1
software-merging	1
specification	1
states	1
technology	1
topological-space	1
topos-theory	1
toposes	1
transformation	1
type-theory	1
unified-concept-theory	1
unifying	1
united	1
us	1
valuation	1
van	1
wiki	1
witten	1

Tag constructive [23 articles] Export

Related Tags