Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово model_theory [15 articles]

Recent papers classified by the tag model_theory.
  • Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
    (11 June 2007)
    by Erich Grädel, Phokion G Kolaitis, Leonid Libkin, 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
  • Jewels of Institution-Independent Model Theory
    Algebra, Meaning and Computation (2006), pp. 65-98.
    by Răzvan Diaconescu
    posted to category_theory institutions model_theory transfer by masteraka on 2007-10-11 22:33:45 as **
  • On the Expressive Power of Logics on Finite Models
    (2003)
    by Phokion G Kolaitis
    posted to complexity model_theory transfer by masteraka on 2007-10-09 19:23:48 as **
  • Elements of Finite Model Theory
    (17 August 2004)
    by Leonid Libkin
    posted to model_theory transfer by masteraka on 2007-09-30 23:08:06 as **** along with 2 people leonardo JakubSzymanik
  • Logical Dreams
    (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
  • A Cheerful Introduction to Forcing and the Continuum Hypothesis
    (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
  • A beginner's guide to forcing
    (9 Dec 2007)
    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 4 people ansobol dmitri83 jedal teesid
  • Foundations for abstract forcing
    (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
  • Ind- and Pro- definable sets
    (7 Aug 2006)
    by Moshe Kamensky
    posted to model_theory by archernikov on 2007-06-18 03:36:43 as **
  • Interpreting Random Hypergraphs in Pseudofinite Fields
    (31 Dec 2006)
    by Ozlem Beyarslan
    posted to model_theory by archernikov on 2007-04-13 20:10:41 as **
  • Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time
    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 **
  • The Modal Logic of the Countable Random Frame
    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
  • Explanation of Independence
    (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
  • Institution Morphisms
    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 _file institution logic model_theory morphism by adrian_pigors on 2007-10-04 17:56:54 as *** along with 1 person masteraka
  • Institutions: abstract model theory for specification and programming
    J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
    by Joseph A Goguen, Rod M Burstall
    posted to category_theory _copy _file institution logic model_theory by adrian_pigors on 2007-10-04 18:03:54 as *** along with 7 people and 1 group mahler msakai bonotake scis0000001 masteraka marcinzalewski Scis0000002 Rightscom
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/model_theory

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.