Tag model_theory [18 articles] Export

Recent papers classified by the tag model_theory.

	From Foundations to Ludics [My Copy] The Bulletin of Symbolic Logic, Vol. 9, No. 2. (2003), pp. 131-168. by Jean Y. Girard posted to model_theory ludics linear_logic 333 by robotact on 2009-08-26 11:13:48 as
	Model Theory [My Copy] Vol. 73 (01 June 1990) by C. C. Chang, H. J. Keisler posted to textbooks model_theory logic by robotact on 2009-08-22 17:14:18 as along with 1 person emiliorp
	Model-theoretic semantics for the web [My Copy] In WWW '03: Proceedings of the 12th international conference on World Wide Web (2003), pp. 29-38. by James Farrugia posted to 2003 model_theory semantic_web semantics www by jsenn on 2009-02-05 14:14:43 as
	A beginner's guide to forcing [My Copy] (8 May 2008) by Timothy Y. Chow posted to model_theory popular set_theory by archernikov to the group Model theory on 2007-12-21 20:57:56 as along with 8 people JoseBrox pirapira jrw qwermish ansobol dmitri83 jedal teesid
	Foundations for abstract forcing [My Copy] (12 Dec 2007) by Peter M. Johnson posted to model_theory popular set_theory by archernikov to the group Model theory on 2007-12-21 20:57:35 as along with 1 person dmitri83
	A Cheerful Introduction to Forcing and the Continuum Hypothesis [My Copy] (14 Dec 2007) by Kenny Easwaran posted to model_theory popular set_theory by archernikov to the group Model theory on 2007-12-21 20:56:50 as along with 2 people proportional dmitri83
	Logical Dreams [My Copy] (26 Nov 2002) by Saharon Shelah posted to logic model_theory popular by archernikov to the group Model theory on 2007-12-16 22:11:28 as along with 1 person dmitri83
	Jewels of Institution-Independent Model Theory [My Copy] Algebra, Meaning and Computation (2006), pp. 65-98. by Răzvan Diaconescu posted to confirmation category_theory institutions model_theory transfer by masteraka on 2007-10-11 22:33:45 as along with 1 person sgwyj
	Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) [My Copy] (11 June 2007) by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, et al.Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein posted to model_theory by masteraka on 2007-10-09 19:32:27 as along with 3 people leonardo AbnerCYH JakubSzymanik
	On the Expressive Power of Logics on Finite Models [My Copy] (2003) by Phokion G. Kolaitis posted to confirmation complexity model_theory transfer by masteraka on 2007-10-09 19:23:48 as
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted to category_theory _copy institution logic model_theory by adrian_pigors on 2007-10-04 18:03:54 as along with 9 people and 2 groups mishra_satish fraktalek mahler msakai bonotake scis0000001 masteraka marcinzalewski Scis0000002 ConcertRG Rightscom
	Institution Morphisms [My Copy] Formal Aspects of Computing, Vol. 13, No. 3. (5 July 2002), pp. 274-307. by Joseph Goguen, Grigore Roşu posted to category_theory _copy institution logic model_theory morphism by adrian_pigors on 2007-10-04 17:56:54 as along with 2 people msakai masteraka
	Elements of Finite Model Theory [My Copy] (17 August 2004) by Leonid Libkin posted to confirmation model_theory transfer by masteraka on 2007-09-30 23:08:06 as along with 2 people leonardo JakubSzymanik
	The Modal Logic of the Countable Random Frame [My Copy] by Valentin Goranko, Bruce Kapron posted to logic modal model_theory by archernikov on 2007-08-27 22:47:28 as along with 1 person dmitri83
	Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time [My Copy] Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings (2003), pp. 185-199. by Olivier Bournez, Felipe Cucker, Paulin J. Naurois, Jean-Yves Marion posted to complexity logic model_theory by archernikov on 2007-08-01 16:44:09 as
	Ind- and Pro- definable sets [My Copy] (7 Aug 2006) by Moshe Kamensky posted to model_theory by archernikov on 2007-06-18 03:36:43 as
	Explanation of Independence [My Copy] (24 Nov 2005) by Hans Adler posted to model_theory by archernikov on 2007-04-13 20:22:24 as along with 1 person dmitri83
	Interpreting Random Hypergraphs in Pseudofinite Fields [My Copy] (31 Dec 2006) by Ozlem Beyarslan posted to model_theory by archernikov on 2007-04-13 20:10:41 as

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

logic	6
popular	4
category_theory	3
confirmation	3
set_theory	3
transfer	3
_copy	2
complexity	2
institution	2
2003	1
333	1
institutions	1
linear_logic	1
ludics	1
modal	1
morphism	1
semantic_web	1
semantics	1
textbooks	1
www	1

Tag model_theory [18 articles] Export

Related Tags