Results for "universal algebra"

Results for "universal algebra" Showing 1 - 32 results of 32 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22universal+algebra%22&type=AllFields&lng=en 32 0 50 Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / Wed, 01 Jan 1997 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-540-69065-8 https://find.library.upatras.gr/Record/978-3-540-69065-8 Electronic eBook 1997 0 Fundamentals of Computation Theory 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings / Mon, 01 Jan 2001 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-540-44669-9 https://find.library.upatras.gr/Record/978-3-540-44669-9 Electronic eBook 2001 0 Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings / Fri, 01 Jan 1999 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-540-48256-7 https://find.library.upatras.gr/Record/978-3-540-48256-7 Electronic eBook 1999 0 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / Tue, 01 Jan 2002 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-540-47797-6 https://find.library.upatras.gr/Record/978-3-540-47797-6 Electronic eBook 2002 0 STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings / Fri, 01 Jan 1999 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-540-49116-3 https://find.library.upatras.gr/Record/978-3-540-49116-3 Electronic eBook 1999 0 Alfred Tarski Early Work in Poland—Geometry and Teaching / Wed, 01 Jan 2014 17:21:11 +0200 https://find.library.upatras.gr/Record/978-1-4939-1474-6 https://find.library.upatras.gr/Record/978-1-4939-1474-6 Electronic eBook 2014 0 Proof Theory and Algebra in Logic Tue, 01 Jan 2019 17:21:11 +0200 https://find.library.upatras.gr/Record/978-981-13-7997-0 https://find.library.upatras.gr/Record/978-981-13-7997-0 Ono, Hiroakira Electronic eBook 2019 Ono, Hiroakira 0 Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups Sun, 01 Jan 2017 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-319-61599-8 https://find.library.upatras.gr/Record/978-3-319-61599-8 Wehrung, Friedrich Electronic eBook 2017 Wehrung, Friedrich 0 Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory / Sun, 01 Jan 2006 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-540-36023-0 https://find.library.upatras.gr/Record/978-3-540-36023-0 Lau, Dietlinde Electronic eBook 2006 Lau, Dietlinde 0 Sheaves of Algebras over Boolean Spaces Sun, 01 Jan 2012 17:21:11 +0200 https://find.library.upatras.gr/Record/978-0-8176-4642-4 https://find.library.upatras.gr/Record/978-0-8176-4642-4 Knoebel, Arthur Electronic eBook 2012 Knoebel, Arthur 0 Simple Relation Algebras Sun, 01 Jan 2017 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-319-67696-8 https://find.library.upatras.gr/Record/978-3-319-67696-8 Givant, Steven Electronic eBook 2017 Givant, Steven 0 Large Truncated Toeplitz Matrices, Toeplitz Operators, and Related Topics The Albrecht Böttcher Anniversary Volume / Sun, 01 Jan 2017 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-319-49182-0 https://find.library.upatras.gr/Record/978-3-319-49182-0 Electronic eBook 2017 0 Stochastic Coalgebraic Logic Thu, 01 Jan 2009 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-642-02995-0 https://find.library.upatras.gr/Record/978-3-642-02995-0 Doberkat, Ernst-Erich Electronic eBook 2009 Doberkat, Ernst-Erich 0 Structural Theory of Automata, Semigroups, and Universal Algebra Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra Montreal, Quebec, Canada 7–18 July 2003 / Sat, 01 Jan 2005 17:21:11 +0200 https://find.library.upatras.gr/Record/978-1-4020-3817-4 https://find.library.upatras.gr/Record/978-1-4020-3817-4 Electronic eBook 2005 0 Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings / Sat, 01 Jan 2005 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-540-32033-3 https://find.library.upatras.gr/Record/978-3-540-32033-3 Electronic eBook 2005 0 Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / Mon, 01 Jan 2007 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-540-73420-8 https://find.library.upatras.gr/Record/978-3-540-73420-8 Electronic eBook 2007 0 Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings / Tue, 01 Jan 2008 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-540-85238-4 https://find.library.upatras.gr/Record/978-3-540-85238-4 Electronic eBook 2008 0 From Combinatorics to Philosophy Thu, 01 Jan 2009 17:21:11 +0200 https://find.library.upatras.gr/Record/978-0-387-88753-1 https://find.library.upatras.gr/Record/978-0-387-88753-1 Electronic eBook 2009 0 M-Solid Varieties of Algebras Sun, 01 Jan 2006 17:21:11 +0200 https://find.library.upatras.gr/Record/978-0-387-30806-7 https://find.library.upatras.gr/Record/978-0-387-30806-7 Koppitz, J. Electronic eBook 2006 Koppitz, J. 0 Abstract Algebra Mon, 01 Jan 2007 17:21:11 +0200 https://find.library.upatras.gr/Record/978-0-387-71568-1 https://find.library.upatras.gr/Record/978-0-387-71568-1 Grillet, Pierre Antoine Electronic eBook 2007 Grillet, Pierre Antoine 0 Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science Mon, 01 Jan 2018 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-319-74772-9 https://find.library.upatras.gr/Record/978-3-319-74772-9 Electronic eBook 2018 0 Foundations of Algebraic Specification and Formal Software Development Sun, 01 Jan 2012 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-642-17336-3 https://find.library.upatras.gr/Record/978-3-642-17336-3 Sannella, Donald Electronic eBook 2012 Sannella, Donald 0 Logica Universalis Towards a General Theory of Logic / Sat, 01 Jan 2005 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-7643-7304-7 https://find.library.upatras.gr/Record/978-3-7643-7304-7 Electronic eBook 2005 0 Logica Universalis Towards a General Theory of Logic / Mon, 01 Jan 2007 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-7643-8354-1 https://find.library.upatras.gr/Record/978-3-7643-8354-1 Electronic eBook 2007 0 Theory and Applications of Ontology: Computer Applications Fri, 01 Jan 2010 17:21:11 +0200 https://find.library.upatras.gr/Record/978-90-481-8847-5 https://find.library.upatras.gr/Record/978-90-481-8847-5 Electronic eBook 2010 0 Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics / Wed, 01 Jan 2014 17:21:11 +0200 https://find.library.upatras.gr/Record/978-3-319-04156-8 https://find.library.upatras.gr/Record/978-3-319-04156-8 Majkić, Zoran Electronic eBook 2014 Majkić, Zoran 0 Structural Theory of Automata, Semigroups, and Universal Algebra Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra Montreal, Quebec, Canada 7β18 July 2003 Sat, 01 Jan 2005 17:21:11 +0200 https://find.library.upatras.gr/Record/47696 https://find.library.upatras.gr/Record/47696 Kudryavtsev, Valery B. Electronic Kit Book 2005 Kudryavtsev, Valery B. 0 Universal algebra / Thu, 01 Jan 1981 17:21:11 +0200 https://find.library.upatras.gr/Record/128564 https://find.library.upatras.gr/Record/128564 Cohn, P. M., (Paul Moritz) Book 1981 Cohn, P. M., (Paul Moritz) 0 Topics in universal algebra / Fri, 01 Jan 1971 17:21:11 +0200 https://find.library.upatras.gr/Record/139336 https://find.library.upatras.gr/Record/139336 Jonsson, Bjarni 1920- Book 1971 Jonsson, Bjarni 1920- 0 Universal algebra and lattice theory : proceedings of a conference held at Charleston, 11-14, 1984 / Tue, 01 Jan 1985 17:21:11 +0200 https://find.library.upatras.gr/Record/140070 https://find.library.upatras.gr/Record/140070 Conference Proceeding Book 1985 0 Universal algebra and applications in theoretical computer science / Tue, 01 Jan 2002 17:21:11 +0200 https://find.library.upatras.gr/Record/163161 https://find.library.upatras.gr/Record/163161 Denecke, Shelly L. Book 2002 Denecke, Shelly L. 0 Universal algebra Mon, 01 Jan 1968 17:21:11 +0200 https://find.library.upatras.gr/Record/106721 https://find.library.upatras.gr/Record/106721 Gratzer, George A. Book 1968 Gratzer, George A. 0