The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

George Voutsadakis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. George Voutsadakis
    Categorical Abstract Algebraic Logic: Algebraizable Institutions. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2002, v:10, n:6, pp:531-568 [Journal]
  2. George Voutsadakis
    A Categorical Approach to Threshold Agent Networks. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2004, v:12, n:2, pp:203-223 [Journal]
  3. George Voutsadakis
    Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2005, v:13, n:3, pp:265-280 [Journal]
  4. George Voutsadakis
    Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2006, v:14, n:1, pp:81-98 [Journal]
  5. George Voutsadakis
    Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2006, v:14, n:4, pp:357-376 [Journal]
  6. George Voutsadakis
    Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2005, v:44, n:4, pp:473-491 [Journal]
  7. George Voutsadakis
    Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:4, pp:313-333 [Journal]
  8. George Voutsadakis
    On The Limit Cycle Structure Of Threshold Boolean Networks Over Complete Graphs. [Citation Graph (0, 0)][DBLP]
    Int. J. Neural Syst., 2004, v:14, n:3, pp:209-215 [Journal]
  9. George Voutsadakis
    Categorical abstract algebraic logic: The criterion for deductive equivalence. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:4, pp:347-352 [Journal]
  10. George Voutsadakis
    Categorical abstract algebraic logic: Gentzen pi -institutions and the deduction-detachment property. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2005, v:51, n:6, pp:570-578 [Journal]
  11. George Voutsadakis
    Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence". [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2005, v:51, n:6, pp:644- [Journal]
  12. George Voutsadakis
    Categorical abstract algebraic logic: The largest theory system included in a theory family. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2006, v:52, n:3, pp:288-294 [Journal]
  13. George Voutsadakis
    Polyadic Concept Analysis. [Citation Graph (0, 0)][DBLP]
    Order, 2002, v:19, n:3, pp:295-304 [Journal]
  14. George Voutsadakis
    Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties. [Citation Graph (0, 0)][DBLP]
    Order, 2006, v:23, n:4, pp:297-319 [Journal]
  15. George Voutsadakis
    Categorical Abstract Algebraic Logic: Equivalent Institutions. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:74, n:1-2, pp:275-311 [Journal]
  16. George Voutsadakis
    Categorical Abstract Algebraic Logic Metalogical Properties. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:74, n:3, pp:369-398 [Journal]

  17. On the Decidability of Role Mappings between Modular Ontologies. [Citation Graph (, )][DBLP]


  18. Federated ALCI: Preliminary Report. [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.026secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002