Search results for "definability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Timos Antonopoulos, Dag Hovland, Wim Martens, Frank Neven	Deciding twig-definability of node selecting tree automata.	ICDT	2012	DBLP DOI BibTeX RDF
16	Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa	Definability of linear equation systems over groups and rings.	CSL	2012	DBLP DOI BibTeX RDF
16	Tomer Kotek, Johann A. Makowsky	Connection Matrices and the Definability of Graph Parameters.	CSL	2012	DBLP DOI BibTeX RDF
16	Johann A. Makowsky	Definability and Complexity of Graph Parameters (Invited Talk).	CSL	2012	DBLP DOI BibTeX RDF
16	Denis K. Ponomaryov, Dmitry Vlasov	On Definability and Redundancy in $\cal{EL}$ -TBoxes.	RR	2012	DBLP DOI BibTeX RDF
16	Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov	The Definability Abduction Problem for Data Exchange - (Abstract).	RR	2012	DBLP DOI BibTeX RDF
16	Tomer Kotek	Definability of combinatorial functions.		2012	RDF
16	Rohit Parikh	Beth definability, interpolation and language splitting.	Synth.	2011	DBLP DOI BibTeX RDF
16	Joseph Flenner	Relative decidability and definability in henselian valued fields.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
16	Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu	A Logical Formulation of Rough Set Definability.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2011	DBLP DOI BibTeX RDF
16	Yin Chen 0005, Fangzhen Lin, Yan Zhang 0003, Yi Zhou 0013	Loop-separable programs and their first-order definability.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
16	Predrag Tanovic	On definability of types of finite Cantor-Bendixson rank.	Math. Log. Q.	2011	DBLP DOI BibTeX RDF
16	George Barmpalias, C. S. Vlek	Kolmogorov complexity of initial segments of sequences and arithmetical definability.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
16	Larisa Maksimova	Interpolation and Definability over the Logic Gl.	Stud Logica	2011	DBLP DOI BibTeX RDF
16	David Fernández-Duque	On the Modal Definability of Simulability by Finite Transitive Models.	Stud Logica	2011	DBLP DOI BibTeX RDF
16	Juha Kontinen, Jouko A. Väänänen	Erratum to: On Definability in Dependence Logic.	J. Log. Lang. Inf.	2011	DBLP DOI BibTeX RDF
16	Dugald Macpherson, Charles Steinhorn	Definability in classes of finite structures.	Finite and Algorithmic Model Theory	2011	DBLP BibTeX RDF
16	Juha Kontinen, Jakub Szymanik	Characterizing Definability of Second-Order Generalized Quantifiers.	WoLLIC	2011	DBLP DOI BibTeX RDF
16	Facundo Carreiro	On Characterization, Definability and ω-Saturated Models.	ICTAC	2011	DBLP DOI BibTeX RDF
16	Manuel Bodirsky, Michael Pinsker, Todor Tsankov	Decidability of Definability.	LICS	2011	DBLP DOI BibTeX RDF
16	Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser	On Equational Definability of Function Classes.	ISMVL	2011	DBLP DOI BibTeX RDF
16	Tin Perkov	Towards a Generalization of Modal Definability.	ESSLLI Student Sessions	2011	DBLP DOI BibTeX RDF
16	Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek	On the Definability of Simulability and Bisimilarity by Finite Epistemic Models.	CLIMA	2011	DBLP DOI BibTeX RDF
16	Kord Eickmeyer	Non-Definability Results for Randomised First-Order Logic.	CSL	2011	DBLP DOI BibTeX RDF
16	Balder ten Cate, Enrico Franconi, Inanç Seylan	Beth Definability in Expressive Description Logics.	IJCAI	2011	DBLP DOI BibTeX RDF
16	Tobias Ganzow	Definability and model checking: the role of orders and compositionality.		2011	RDF
16	José Raymundo Marcial-Romero, José Antonio Hernández Servín	Functional first order definability of LRTP.	Inteligencia Artif.	2010	DBLP BibTeX RDF
16	Jaroslav Jezek, Ralph McKenzie	Definability in Substructure Orderings, II: Finite Ordered Sets.	Order	2010	DBLP DOI BibTeX RDF
16	Harvey Friedman, Krzysztof Kurdyka, Chris Miller 0001, Patrick Speissegger	Expansions of the real field by open sets: definability versus interpretability.	J. Symb. Log.	2010	DBLP DOI BibTeX RDF
16	Itaï Ben Yaacov	Definability of groups in Alef0-stable metric structures.	J. Symb. Log.	2010	DBLP DOI BibTeX RDF
16	Kentaro Fujimoto	Relative truth definability of axiomatic truth theories.	Bull. Symb. Log.	2010	DBLP DOI BibTeX RDF
16	Hassan Sfouli	Definability and nondefinability results for certain o-minimal structures.	Math. Log. Q.	2010	DBLP DOI BibTeX RDF
16	Jerzy W. Grzymala-Busse, Wojciech Rzasa	Definability and Other Properties of Approximations for Generalized Indiscernibility Relations.	Trans. Rough Sets	2010	DBLP DOI BibTeX RDF
16	Matthew P. Szudzik	On the definability of functionals in Gödel's theory T.	CoRR	2010	DBLP BibTeX RDF
16	Manuel Bodirsky, Michael Pinsker, Todor Tsankov	Decidability of definability	CoRR	2010	DBLP BibTeX RDF
16	Martin Grohe	Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs	CoRR	2010	DBLP BibTeX RDF
16	Facundo Carreiro	Characterization and definability in modal first-order fragments	CoRR	2010	DBLP BibTeX RDF
16	Alexandre A. M. Rodrigues, Ricardo C. Miranda Filho, Edelcio G. de Souza	Definability in infinitary languages and invariance by automorphims.	Reports Math. Log.	2010	DBLP BibTeX RDF
16	Hitoshi Kihara, Hiroakira Ono	Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
16	Juha Kontinen	Definability of second order generalized quantifiers.	Arch. Math. Log.	2010	DBLP DOI BibTeX RDF
16	Yongmei Liu 0001, Gerhard Lakemeyer	On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond.	Cognitive Robotics	2010	DBLP BibTeX RDF
16	Thomas Place, Luc Segoufin	Deciding Definability in FO2(<) (or XPath) on Trees.	LICS	2010	DBLP DOI BibTeX RDF	Trees, Logic, Xpath, Automata
16	Martin Grohe	Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors.	LICS	2010	DBLP DOI BibTeX RDF	graph minor theory, fixed-point logic, graph canonisation, descriptive complexity
16	Tomer Kotek, Johann A. Makowsky	Definability of Combinatorial Functions and Their Linear Recurrence Relations.	Fields of Logic and Computation	2010	DBLP DOI BibTeX RDF
16	Martin Grohe	Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs.	Fields of Logic and Computation	2010	DBLP DOI BibTeX RDF
16	Gaëlle Fontaine, Thomas Place	Frame Definability for Classes of Trees in the µ-calculus.	MFCS	2010	DBLP DOI BibTeX RDF
16	Oleg V. Kudinov, Victor L. Selivanov, Lyudmila V. Yartseva	Definability in the Subword Order.	CiE	2010	DBLP DOI BibTeX RDF
16	Erich Grädel	Definability in Games.	CSL	2010	DBLP DOI BibTeX RDF
16	Dimiter Vakarelov	Algorithmic Definability and Completeness in Modal Logic.	FoIKS	2010	DBLP DOI BibTeX RDF
16	Hannu Niemistö	Zero-one law and definability of linear order.	J. Symb. Log.	2009	DBLP DOI BibTeX RDF
16	John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn	Intrinsic bounds on complexity and definability at limit levels.	J. Symb. Log.	2009	DBLP DOI BibTeX RDF
16	Selma Djelloul	Treewidth and logical definability of graph products.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
16	Balder ten Cate, David Gabelaia, Dmitry Sustretov	Modal languages for topology: Expressivity and definability.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
16	Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov	Definability in the h-quasiorder of labeled forests.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
16	Juha Kontinen, Jouko A. Väänänen	On Definability in Dependence Logic.	J. Log. Lang. Inf.	2009	DBLP DOI BibTeX RDF
16	Joseph Y. Halpern, Dov Samet, Ella Segev	On Definability in Multimodal Logic.	Rev. Symb. Log.	2009	DBLP DOI BibTeX RDF
16	Margarita V. Korovina, Oleg V. Kudinov	The Uniformity Principle for Sigma-definability.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
16	Ross Willard	PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE.	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
16	Chien-Chung Chan, Fengming Michael Chang	On Definability of Sets in Dominance-Based Approximation Space.	SMC	2009	DBLP DOI BibTeX RDF
16	Hristo Ganchev	Definability in the Local Theory of the omega-Enumeration Degrees.	CiE	2009	DBLP DOI BibTeX RDF
16	Martin Grohe	Fixed-Point Definability and Polynomial Time.	CSL	2009	DBLP DOI BibTeX RDF
16	Yongmei Liu 0001, Gerhard Lakemeyer	On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond.	IJCAI	2009	DBLP BibTeX RDF
16	José Raymundo Marcial-Romero, José Antonio Hernández Servín	Functional first order de definability of LRTp.	LA-NMR	2009	DBLP BibTeX RDF
16	Itay Neeman	Finite state automata and monadic definability of singular cardinals.	J. Symb. Log.	2008	DBLP DOI BibTeX RDF
16	Jérôme Lang, Pierre Marquis	On propositional definability.	Artif. Intell.	2008	DBLP DOI BibTeX RDF
16	Andrei S. Morozov, Margarita V. Korovina	On sigma-definability without equality over the real numbers.	Math. Log. Q.	2008	DBLP DOI BibTeX RDF
16	Paul B. Larson	Martin's Maximum and definability in H(xaleph2).	Ann. Pure Appl. Log.	2008	DBLP DOI BibTeX RDF
16	Andrey Bovykin	Resplendent models and S11{\Sigma_1^1} -definability with an oracle.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03B10, 03C50, 03C62, Secondary 03C07, 03C30, 03C35, 03C52, 03C64, 03C57
16	Miguel Couceiro, Lauri Hella, Jari Kivelä	Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic.	Log. J. IGPL	2008	DBLP DOI BibTeX RDF
16	Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu	Definability in Logic and Rough Set Theory.	ECAI	2008	DBLP DOI BibTeX RDF
16	Shin-ya Katsumata	A Characterisation of Lambda Definability with Sums Via TT-Closure Operators.	CSL	2008	DBLP DOI BibTeX RDF
16	Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang 0004	Logical Definability in Social Position Analysis.	GrC	2008	DBLP DOI BibTeX RDF
16	Miguel Couceiro, Stephan Foldes	Functional Equations, Constraints, Definability of Function Classes, and Functions of Boolean Variables.	Acta Cybern.	2007	DBLP BibTeX RDF
16	Andrei S. Morozov, Margarita V. Korovina	Remarks on Sigma-definability without the equality test over the Reals.	CCA	2007	DBLP DOI BibTeX RDF
16	Pierre-Louis Curien	Definability and Full Abstraction.	Computation, Meaning, and Logic	2007	DBLP DOI BibTeX RDF
16	Byunghan Kim, Rahim Moosa	Stable definability and generic relations.	J. Symb. Log.	2007	DBLP DOI BibTeX RDF
16	Tom Bohman, Alan M. Frieze, Tomasz Luczak 0001, Oleg Pikhurko, Clifford D. Smyth, Joel Spencer, Oleg Verbitsky 0001	First-Order Definability of Trees and Sparse Random Graphs.	Comb. Probab. Comput.	2007	DBLP DOI BibTeX RDF
16	Enrico Marchioni, Franco Montagna	Complexity and Definability Issues in L Pi 1/2.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
16	Valentin Goranko, Alberto Zanardo	From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.	Log. J. IGPL	2007	DBLP DOI BibTeX RDF
16	Amitabha Roy 0001, Howard Straubing	Definability of Languages by Generalized First-Order Formulas over N+.	SIAM J. Comput.	2007	DBLP DOI BibTeX RDF
16	Razvan Diaconescu, Marius Petria	Abstract Beth definability in institutions.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
16	S. Barry Cooper	Definability as hypercomputational effect.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
16	Pascal Weil	On the logical definability of certain graph and poset languages	CoRR	2006	DBLP BibTeX RDF
16	Oleg Pikhurko, Helmut Veith, Oleg Verbitsky 0001	The first order definability of graphs: Upper bounds for quantifier depth.	Discret. Appl. Math.	2006	DBLP DOI BibTeX RDF
16	Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco	Definability and decidability of binary predicates for time granularity.	J. Appl. Log.	2006	DBLP DOI BibTeX RDF
16	James G. Raftery	The equational definability of truth predicates.	Reports Math. Log.	2006	DBLP BibTeX RDF
16	Philippe Balbiani, Tinko Tinchev	Definability Over the Class of all Partitions.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
16	Amitabha Roy 0001, Howard Straubing	Definability of Languages by Generalized First-Order Formulas over (N, +).	STACS	2006	DBLP DOI BibTeX RDF
16	Thierry Joly	On lambda-Definability I: the Fixed Model Problem and Generalizations of the Matching Problem.	Fundam. Informaticae	2005	DBLP BibTeX RDF
16	Johan van Benthem	Minimal predicates, fixed-points, and definability.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
16	Bradd Hart, Ziv Shami	On the type-definability of the binding group in simple theories.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
16	Sy D. Friedman	Definability degrees.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
16	Hajnal Andréka, Judit X. Madarász, István Németi	Mutual definability does not imply definitional equivalence, a simple example.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
16	Oleg Verbitsky 0001	The first order definability of graphs with separators via the Ehrenfeucht game.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
16	Guram Bezhanishvili, Leo Esakia, David Gabelaia	Some Results on Modal Axiomatization and Definability for Topological Spaces.	Stud Logica	2005	DBLP DOI BibTeX RDF	topological semantics, submaximal spaces, Modal logic
16	Fernando Tohmé	Existence and definability of states of the world.	Math. Soc. Sci.	2005	DBLP DOI BibTeX RDF
16	Jerzy W. Grzymala-Busse	Incomplete Data and Generalization of Indiscernibility Relation, Definability, and Approximations.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
16	Iskander Sh. Kalimullin	On the Problems of Definability in the Enumeration Degrees.	CiE	2005	DBLP DOI BibTeX RDF
16	Douglas A. Cenzer, Jeffrey B. Remmel	The Complexity of Inductive Definability.	CiE	2005	DBLP DOI BibTeX RDF
16	Marek Zaionc	Probabilistic Approach to the Lambda Definability for Fourth Order Types.	CLA	2004	DBLP DOI BibTeX RDF