registrieren | anmelden | FAQ      [?] 

Tag equational-logic [7 articles]

Recent papers classified by the tag equational-logic.
  • Graph-Based Logic and Sketches II: Finite-Product Categories and Equational Logic (Preliminary Report)
    ArXiv Mathematics e-prints (December 1996)
    by A Bagchi, C Wells
    posted to equational-logic equational-theories rewriting-logic sketches toposes by Scis0000002 on 2007-08-02 14:09:23 as **
  • Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
    Logic Jnl IGPL, Vol. 12, No. 4. (1 July 2004), pp. 313-333.
    by George Voutsadakis
    posted to abstract-algebraic-logic categorical equational-logic by Scis0000002 on 2007-08-17 14:47:13 as **
  • 2OBJ: a metalogical framework theorem prover based on equational logic
    (1992), pp. 69-86.
    by Joseph Goguen, Andrew Stevens, Hendrik Hilberdink, Keith Hobley
    posted to atp equational-logic metalogics by scis0000001 on 2007-03-16 09:49:44 as **
  • Axiomatizability in inclusive equational logics
    Mathematical. Structures in Comp. Sci., Vol. 12, No. 5. (October 2002), pp. 541-563.
    by Grigore Ro&\#351;u
    posted to axiomatizability categorical categorification equational-logic by scis0000001 on 2007-05-10 10:30:53 as **
  • Theory Revision in Equation Discovery
    Lecture Notes in Computer Science, Vol. 2226 (2001)
    by Ljupco Todorovski, Saso Dzeroski
    posted to categorification discovery equation equational-logic reconstruction theory-development theory-revision by scis0000001 on 2006-09-19 12:59:49 as ** along with 1 person Scis0000002
  • Algebraic Preliminaries
    (1999)
    by Donald Sannella, Andrzej Tarlecki
    edited by Egidio Astesiano, Hans-Joerg Kreowski, Bernd Krieg-Brueckner
    posted to algebraic-specifications equational-logic by mvermaat on 2008-03-21 16:31:12 as **
  • Classifying categories for partial equational logic
    (2002)
    by L Schr
    posted to category equational-logic partial by glaubersp on 2007-04-06 23:18:52 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/equational-logic

    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.