search result

Cover von A Characterization of Hard-to-cover CSPs

A Characterization of Hard-to-cover CSPs

Year: 2015
Media group: LIPIcs
Cover von Algebraic Characterization of FO for Scattered Linear Orderings

Algebraic Characterization of FO for Scattered Linear Orderings

Year: 2011
Media group: LIPIcs
Cover von A characterization of the single-crossing domain
article pp. 989-998
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Social Choice and Welfare; 41. 2013, 4
Media group: ARTICLE
Cover von An Axiomatic Characterization of Ensconcement-Based Contraction

An Axiomatic Characterization of Ensconcement-Based Contraction

article
Year: 2008
Media group: ARTICLE
Cover von A Combinatorial Characterization of the Testable Graph Properties; 1
It's All About Regularity : article : pp. 143-167
Search for this author
Year: 2009
Publisher: Philadelphia, SIAM
Count: 1
Media group: ARTICLE
Cover von A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic

Year: 2009
Media group: ARTICLE
Cover von Performance Evaluation, Measurement and Characterization of Complex Systems
Second TPC Technology Conference, Singapore, September 13 - 17, 2010, Revised Selected Papers
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6417
Media group: MONOGRAPHIE
Cover von A matrix characterization for multiplicative exponential linear logic; 2
article : S. 121-166
Search for this author
Year: 2004
Publisher: Boston, Kluwer
Count: 2
Media group: ARTICLE
Cover von A combinatorial characterization of the testable graph properties
it's all about regularity : article : pp. 251-260
Search for this author
Year: 2006
Publisher: New York, ACM
Series: ACM symposium on theory of computing <38, 2006, Seattle>
Media group: ARTICLE
Cover von Extending Ghouila-Houri’s Characterization of Comparability Graphs to Temporal Graphs

Extending Ghouila-Houri’s Characterization of Comparability Graphs to Temporal Graphs

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0