DSpace at RU >

Search Results

Results 1-19 of 19.

Item hits:

Full Text	Issue Date	Title	Author(s)
	2012	Δ1-completions of a Poset	Gehrke, M.; Jansana, R.; Palmigiano, A.
	2012	Loader and Urzyczyn Are Logically Related	Salvati, S.; Manzonetto, G.; Gehrke, M.; Barendregt, H.
	2012	Relational semantics for a fragment of linear logic	Coumans, D.; Gehrke, M.; Rooijen, L. van
	2011	Canonical extensions and canonicity via dcpo presentations	Gehrke, M.; Vosmaer, J.
	2011	Finitely generated free Heyting algebras via Birkhoff duality and coalgebra	Bezhanishvili, N.; Gehrke, M.
	2011	Duality and Recognition	Gehrke, M.
	2011	A View of Canonical Extension	Gehrke, M.; Vosmaer, J.
	2010	A Topological Approach to Recognition	Gehrke, M.; Grigorieff, S.; Pin, J.-E.
	2010	A view of canonical extension	Gehrke, M.; Vosmaer, J.
	2010	Canonical extensions for congruential logics with the deduction theorem	Gehrke, M.; Jansana, R.; Palmigiano, A.
	2010	Canonical extension and canonicity via DCPO presentations	Gehrke, M.; Vosmaer, J.
	2009	Duality	Gehrke, M.
	2009	Free Heyting Algebras	Gehrke, M.; Bezhanishvili, N.; Kurz, A.; Lenisa, M.; Tarlecki, A.
	2009	Stone Duality and the Recognisable Languages over an Algebra	Gehrke, M.
	2009	Distributive Lattice-Structured Ontologies	Gehrke, M.
	2008	Duality and equational theory of regular languages	Gehrke, M.; Grigorieff, S.; Pin, J.-E.; Aceto, L.; Damgard, I.; Goldberg, L.A.
	2007	Complete Congruences on Topologies and Down-set Lattices	Gehrke, M.; Erné, M.; Pultr, A.
	2007	Duality for Double Quasioperator Algebras via their Canonical Extensions	Gehrke, M.; Priestley, H.A.
	2007	Canonical extensions of double quasioperator algebras: An algebraic perspective on duality for certain algebras with binary operations	Gehrke, M.; Priestley, H.A.

1