User contributions
Jump to navigation
Jump to search
- 14:09, 28 November 2014 diff hist -3,183 Libor Běhounek →Selected publications
- 14:07, 28 November 2014 diff hist +2 Libor Běhounek →Affiliation
- 14:05, 28 November 2014 diff hist +4,237 N Libor Běhounek Created page with "===Affiliation=== Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vodárenskou věží 2 18207 Prague 8, Czech Republic Institute for Research ..."
- 13:44, 28 November 2014 diff hist -1 Members
- 13:44, 28 November 2014 diff hist +21 Members
- 16:37, 11 November 2014 diff hist +497 Thomas Vetterlein →Selected publications current
- 16:25, 11 November 2014 diff hist +2,286 N Thomas Vetterlein Created page with "===Affiliation=== Department of Knowledge-Based Mathematical Systems Johannes Kepler University Altenberger Straße 69 4040 Linz Austria [http://www.flll.jku.at/staff/vet..."
- 16:17, 11 November 2014 diff hist +30 Petr Cintula current
- 16:16, 11 November 2014 diff hist +3 Petr Cintula →Selected publications
- 16:15, 11 November 2014 diff hist +24 Petr Cintula
- 16:14, 11 November 2014 diff hist +1 Petr Cintula →Selected publications
- 16:13, 11 November 2014 diff hist +402 Petr Cintula →Selected publications
- 16:07, 11 November 2014 diff hist +231 Petr Cintula
- 16:06, 11 November 2014 diff hist +3,415 N Petr Cintula Created page with "A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in Studia Logica. A Henkin-style proof of completeness for first-order algebraizable log..."
- 16:05, 11 November 2014 diff hist +184 N Tomáš Kroupa Created page with "===Affiliation=== Università degli Studi di Milano Dipartimento di Matematica "Federigo Enriques” [http://staff.utia.cas.cz/kroupa/ Personal webpage] ===Selected public..." current
- 16:03, 11 November 2014 diff hist +46 George Metcalfe →Selected publications
- 16:02, 11 November 2014 diff hist +53 George Metcalfe
- 16:00, 11 November 2014 diff hist +838 N George Metcalfe Created page with "===Affiliation=== Institute of Computer Science Mathematical Institute University of Bern [http://www.math.unibe.ch/content/staff/professoren/metcalfe/index_ger.html Person..."
- 15:31, 11 November 2014 diff hist -5 Main Page
- 10:34, 6 November 2014 diff hist +7 Zuzana Haniková →Affiliation current