Search results for "Andrea Sorbi"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Thomas F. Kent, Andrew E. M. Lewis, Andrea Sorbi	Empty intervals in the enumeration degrees.	Ann. Pure Appl. Logic	2012	DBLP DOI BibTeX RDF
1	Daniele Marsibilio, Andrea Sorbi	Bounded enumeration reducibility and its degree structure.	Arch. Math. Log.	2012	DBLP DOI BibTeX RDF
1	Claudio Marini, Giulia Simi, Andrea Sorbi, Marianna Sorrentino	A note on algebras of languages.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Irakli O. Chitaia, Roland Sh. Omanadze, Andrea Sorbi	Immunity properties and strong positive reducibilities.	Arch. Math. Log.	2011	DBLP DOI BibTeX RDF
1	Andrew E. M. Lewis, Richard A. Shore, Andrea Sorbi	Topological aspects of the Medvedev lattice.	Arch. Math. Log.	2011	DBLP DOI BibTeX RDF
1	Andrea Sorbi, Guohua Wu, Yue Yang	Diamond embeddings into the enumeration degrees.	Mathematical Structures in Computer Science	2010	DBLP DOI BibTeX RDF
1	Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi	Foreword.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	F. De Carli, Andrea Frosini, Simone Rinaldi, Andrea Sorbi	Lattices of local two-dimensional languages.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	S. Barry Cooper, Benedikt Löwe, Andrea Sorbi	Logic and Computation in the Real World: CiE 2007.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
1	Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi	Preface.	Ann. Pure Appl. Logic	2009	DBLP DOI BibTeX RDF
1	S. Barry Cooper, Elvira Mayordomo, Andrea Sorbi	Computation and Logic in the Real World: CiE 2007.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF
1	Andrea Sorbi, Guohua Wu, Yue Yang	High Minimal Pairs in the Enumeration Degrees.	TAMC	2009	DBLP DOI BibTeX RDF
1	Andrea Sorbi	Strong Positive Reducibilities.	TAMC	2009	DBLP DOI BibTeX RDF
1	Andrew E. M. Lewis, André Nies, Andrea Sorbi	The First Order Theories of the Medvedev and Muchnik Lattices.	CiE	2009	DBLP DOI BibTeX RDF
1	Roland Sh. Omanadze, Andrea Sorbi	A characterization of the Delta02 hyperhyperimmune sets.	J. Symb. Log.	2008	DBLP BibTeX RDF
1	Ruth Dillhage, Tanja Grubba, Andrea Sorbi, Klaus Weihrauch, Ning Zhong 0002	Preface.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Andrea Sorbi, Sebastiaan Terwijn	Intermediate logics and factors of the Medvedev lattice.	Ann. Pure Appl. Logic	2008	DBLP DOI BibTeX RDF
1	Maria L. Affatato, Thomas F. Kent, Andrea Sorbi	Branching in the S02{Sigma02}-enumeration degrees: a new perspective.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D28, 03D30
1	Thomas F. Kent, Andrea Sorbi	Bounding nonsplitting enumeration degrees.	J. Symb. Log.	2007	DBLP BibTeX RDF
1	S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)	Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings	CiE	2007	DBLP BibTeX RDF
1	Matthew Giorgi, Andrea Sorbi, Yue Yang	Properly Sigma02 enumeration degrees and the high/low hierarchy.	J. Symb. Log.	2006	DBLP BibTeX RDF
1	Roland Sh. Omanadze, Andrea Sorbi	Strong Enumeration Reducibilities.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D30
1	S. Barry Cooper, Angsheng Li, Andrea Sorbi, Yue Yang	Bounding and nonbounding minimal pairs in the enumeration degrees.	J. Symb. Log.	2005	DBLP BibTeX RDF
1	John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi	On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms.	J. Comput. Syst. Sci.	2005	DBLP DOI BibTeX RDF
1	John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi	On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms.	COLT	2003	DBLP DOI BibTeX RDF
1	Steffen Lempp, Andrea Sorbi	Embedding Finite Lattices into the Sigma02 Enumeration Degrees.	J. Symb. Log.	2002	DBLP BibTeX RDF
1	Marat M. Arslanov, Iskander Sh. Kalimullin, Andrea Sorbi	Density results in the Delta20 e-degrees.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03D30
1	Stanislaw Bereznyuk, Richard Coles, Andrea Sorbi	The Distribution of Properly Sigma02 e-Degrees.	J. Symb. Log.	2000	DBLP BibTeX RDF
1	André Nies, Andrea Sorbi	Structural Properties and Sigma02 Enumeration Degrees.	J. Symb. Log.	2000	DBLP BibTeX RDF
1	Andrea Sorbi	Sets of Generators and Automorphism Bases for the Enumeration Degrees.	Ann. Pure Appl. Logic	1998	DBLP DOI BibTeX RDF
1	Caterina Bianchini, Andrea Sorbi	A Note an Closed Degrees of Difculty of the Medvedev Lattice.	Math. Log. Q.	1996	DBLP BibTeX RDF
1	S. Barry Cooper, Andrea Sorbi	Noncappable Enumeration Degrees Below 0'e.	J. Symb. Log.	1996	DBLP BibTeX RDF
1	S. Barry Cooper, Andrea Sorbi, Xiaoding Yi	Cupping and Noncupping in the Enumeration Degrees of Sigma20 Sets.	Ann. Pure Appl. Logic	1996	DBLP DOI BibTeX RDF
1	Andrea Sorbi, Sandra Fontani, Franco Montagna	A Note on Relative Efficiency of Axiom Systems.	Math. Log. Q.	1994	DBLP BibTeX RDF
1	Andrea Sorbi	Embedding Brouwer Algebras in the Medvedev Lattice.	Notre Dame Journal of Formal Logic	1991	DBLP BibTeX RDF
1	Andrea Sorbi	Some Remarks on the Algebraic Structure of the Medvedev Lattice.	J. Symb. Log.	1990	DBLP BibTeX RDF
1	Franco Montagna, Andrea Sorbi	Creativeness and Completeness in Recursion Categories of Partial Recursive Operators.	J. Symb. Log.	1989	DBLP BibTeX RDF
1	Franco Montagna, Andrea Sorbi	Universal Recursion Theoretic Properties of R.E. Preordered Structures.	J. Symb. Log.	1985	DBLP BibTeX RDF
1	Claudio Bernardi, Andrea Sorbi	Classifying Positive Equivalence Relations.	J. Symb. Log.	1983	DBLP BibTeX RDF

Publications of "Andrea Sorbi" ( http://dblp.L3S.de/Authors/Andrea_Sorbi )