| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 125 | Michel Wermelinger |
A Different Perspective on Canonicity.  |
ICCS  |
1997 |
DBLP DOI BibTeX RDF |
Topics Conceptual Graph Theory, Ontologies, Knowledge Representation |
| 61 | Mai Gehrke, Hilary A. Priestley |
Duality for Double Quasioperator Algebras via their Canonical Extensions. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) primary 06D50, secondary 06A23, 18A99, 06D35 |
| 57 | Bernhard Heinemann |
Extended Canonicity of Certain Topological Properties of Set Spaces. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
modal logic of subset spaces, rules in modal languages with names, topological reasoning, canonicity |
| 48 | Thierry Coquand, Simon Huber, Christian Sattler |
Canonicity and homotopy canonicity for cubical type theory. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
| 48 | Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao |
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 48 | Camillo Fiorentini |
Hypercanonicity, Extensive Canonicity, Canonicity and Strong Completeness of Intermediate Propositional Logics. |
Reports Math. Log. |
2001 |
DBLP BibTeX RDF |
|
| 40 | Thorsten Altenkirch, Conor McBride, Wouter Swierstra |
Observational equality, now! |
PLPV |
2007 |
DBLP DOI BibTeX RDF |
type theory, equality |
| 40 | Maciej J. Ciesielski, Priyank Kalla, Serkan Askar |
Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
Register transfer level—design aids, arithmetic and logic structures—verification, symbolic and algebraic manipulation, verification |
| 40 | Per Lindgren, Rolf Drechsler, Bernd Becker 0001 |
Minimization of Ordered Pseudo Kronecker Decision Diagrams. |
ICCD |
2000 |
DBLP DOI BibTeX RDF |
|
| 33 | Maria Paola Bonacina, Nachum Dershowitz |
Abstract canonical inference. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
proof orderings, fairness, redundancy, completeness, completion, Inference, saturation, canonicity |
| 24 | Dmitry Filippov |
Canonicity and Computability in Homotopy Type Theory. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 24 | Rafaël Bocquet |
Strict Rezk completions of models of HoTT and homotopy canonicity. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 24 | Matteo Acclavio, Davide Catta, Federico Olimpieri |
Canonicity in Modal Lambda Calculus. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 24 | Zhiguang Zhao |
Jónsson-style canonicity in distributive modal µ-calculus. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 24 | Jean Barré, Thierry Poibeau |
Beyond canonicity. Modeling Literary Change in French Novelist Production: Canon vs. Archive. |
CHR |
2023 |
DBLP BibTeX RDF |
|
| 24 | Matteo Acclavio, Davide Catta, Federico Olimpieri |
Canonicity of Proofs in Constructive Modal Logic. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 24 | Robert Goldblatt, Ian M. Hodkinson |
Canonicity in power and modal logics of finite achronal width. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 24 | Frederik Van De Putte, Paul McNamara |
Neighbourhood Canonicity for Ek, eCK, and Relatives: a Constructive Proof. |
Rev. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 24 | Takahiro Sawasaki, Katsuhiko Sano |
Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 24 | Laurent de Rudder, Alessandra Palmigiano |
Slanted Canonicity of Analytic Inductive Inequalities. |
ACM Trans. Comput. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 24 | Kentarô Yamamoto |
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics. |
Stud Logica |
2021 |
DBLP DOI BibTeX RDF |
|
| 24 | Zhiguang Zhao |
Algorithmic correspondence and canonicity for possibility semantics. |
J. Log. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 24 | Takahiro Sawasaki, Katsuhiko Sano |
Frame definability, canonicity and cut elimination in common sense modal predicate logics. |
J. Log. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 24 | Bader Abu Radi, Orna Kupferman |
Canonicity in GFG and Transition-Based Automata. |
GandALF |
2020 |
DBLP DOI BibTeX RDF |
|
| 24 | Tarek Sayed Ahmed |
Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 24 | Willem Conradie, Alessandra Palmigiano |
Constructive Canonicity of Inductive Inequalities. |
Log. Methods Comput. Sci. |
2020 |
DBLP BibTeX RDF |
|
| 24 | Joris J. van Zundert, Raymond A. Mar, Karina van Dalen-Oskam, Emily Temple, Isabel Bowman, Farzaneh Heidari, Ahn T. P. Nguyen |
Features of Timelessness: Intermediate Report on a Quest for Stylistic Features that Mark Literary Canonicity. |
DH |
2020 |
DBLP BibTeX RDF |
|
| 24 | Thierry Coquand |
Canonicity and normalization for dependent type theory. |
Theor. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
| 24 | Thierry Coquand, Simon Huber, Christian Sattler |
Homotopy canonicity for cubical type theory. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 24 | Willem Conradie, Alessandra Palmigiano |
Algorithmic correspondence and canonicity for non-distributive logics. |
Ann. Pure Appl. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 24 | Simon Huber |
Canonicity for Cubical Type Theory. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
| 24 | Thierry Coquand, Simon Huber, Christian Sattler |
Homotopy Canonicity for Cubical Type Theory. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
| 24 | Thierry Coquand |
Canonicity and normalisation for Dependent Type Theory. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 24 | Robert Goldblatt |
Canonicity Frameworks and Ultraproducts of Polarities. |
Advances in Modal Logic |
2018 |
DBLP BibTeX RDF |
|
| 24 | Simon Andrews |
A New Method for Inheriting Canonicity Test Failures in Close-by-One Type Algorithms. |
CLA |
2018 |
DBLP BibTeX RDF |
|
| 24 | Fredrik Dahlqvist, David J. Pym |
Coalgebraic completeness-via-canonicity for distributive substructural logics. |
J. Log. Algebraic Methods Program. |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Henrik Leopold, Fabian Pittke, Jan Mendling |
Ensuring the canonicity of process models. |
Data Knowl. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Willem Conradie, Andrew Craig |
Canonicity results for mu-calculi: an algorithmic approach. |
J. Log. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao |
Jónsson-style canonicity for ALBA-inequalities. |
J. Log. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao |
Constructive Canonicity for Lattice-Based Fixed Point Logics. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Zhiguang Zhao |
Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract). |
SOQE |
2017 |
DBLP BibTeX RDF |
|
| 24 | Natalie M. Houston |
Measuring Canonicity: a Network Analysis Approach to Poetry Anthologies. |
DH |
2017 |
DBLP BibTeX RDF |
|
| 24 | Simon Huber |
Canonicity for Cubical Type Theory. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 24 | Fredrik Dahlqvist |
Coalgebraic Completeness-via-Canonicity - Principles and Applications. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 24 | Andreana Pastena, Alessandro Lenci |
Antonymy and Canonicity: Experimental and Distributional Evidence. |
CogALex@COLING |
2016 |
DBLP BibTeX RDF |
|
| 24 | Ana Petkovska, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli, Robert K. Brayton, Paolo Ienne |
Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications. |
ICCAD |
2016 |
DBLP DOI BibTeX RDF |
|
| 24 | Michael Shulman |
Univalence for inverse diagrams and homotopy canonicity. |
Math. Struct. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
| 24 | Fredrik Dahlqvist |
Completeness-via-canonicity for coalgebraic logics. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 24 | Fredrik Dahlqvist, David J. Pym |
Completeness via canonicity for distributive substructural logics: a coalgebraic perspective. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 24 | Fredrik Dahlqvist, David J. Pym |
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 24 | Guy Van den Broeck, Adnan Darwiche |
On the Role of Canonicity in Knowledge Compilation. |
AAAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 24 | Jing Ding, Chu-Ren Huang |
Canonicity of Chinese Opposite Pairings - A Corpus-Based Measurement. |
CLSW |
2015 |
DBLP DOI BibTeX RDF |
|
| 24 | Fredrik Dahlqvist |
Completeness-via-canonicity in coalgebraic logics. |
|
2015 |
RDF |
|
| 24 | Philippe Balbiani, Tinko Tinchev |
Definability and Canonicity for Boolean Logic with a Binary Relation. |
Fundam. Informaticae |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Marc Lasson |
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Guy Van den Broeck, Adnan Darwiche |
On the Role of Canonicity in Bottom-up Knowledge Compilation. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 24 | Willem Conradie, Andrew Craig |
Canonicity results for mu-calculi: an algorithmic approach. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 24 | Simon Andrews |
A Partial-Closure Canonicity Test to Increase the Efficiency of CbO-Type Algorithms. |
ICCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Blaise Cronin |
Canonicity. |
J. Assoc. Inf. Sci. Technol. |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Jannis Bulian, Ian M. Hodkinson |
Bare canonicity of representable cylindric and polyadic algebras. |
Ann. Pure Appl. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Hélène Fargier, Pierre Marquis, Nicolas Schmidt |
Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. |
IJCAI |
2013 |
DBLP BibTeX RDF |
|
| 24 | Ian M. Hodkinson, Szabolcs Mikulás |
On canonicity and completions of weakly representable relation algebras. |
J. Symb. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
| 24 | Sarah Wadsworth |
Canonicity and the American Public Library: The Case of American Women Writers. |
Libr. Trends |
2012 |
DBLP DOI BibTeX RDF |
|
| 24 | Jannis Bulian, Ian M. Hodkinson |
Bare canonicity of representable cylindric and polyadic algebras |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 24 | Willem Conradie, Alessandra Palmigiano |
Algorithmic correspondence and canonicity for distributive modal logic. |
Ann. Pure Appl. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
| 24 | Daniel R. Licata, Robert Harper 0001 |
Canonicity for 2-dimensional type theory. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 24 | Kaustuv Chaudhuri, Stefan Hetzl, Dale Miller 0001 |
A Systematic Approach to Canonicity in the Classical Sequent Calculus. |
CSL |
2012 |
DBLP DOI BibTeX RDF |
|
| 24 | Mai Gehrke, Jacob Vosmaer |
Canonical extensions and canonicity via dcpo presentations. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 24 | Tomoyuki Suzuki 0001 |
Canonicity Results of Substructural and Lattice-based Logics. |
Rev. Symb. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 24 | Pin-Yi Kuo, Chun-Yao Wang, Ching-Yi Huang |
On rewiring and simplification for canonicity in threshold logic circuits. |
ICCAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 24 | Tomoyuki Suzuki 0001 |
Canonicity and bi-approximation in non-classical logics. |
|
2010 |
RDF |
|
| 24 | Mai Gehrke, Jacob Vosmaer |
Canonical extension and canonicity via DCPO presentations |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 24 | Leonardo Manuel Cabrer |
Non canonicity of BL-algebras. |
Reports Math. Log. |
2009 |
DBLP BibTeX RDF |
|
| 24 | Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge |
Strong Completeness and Limited Canonicity for PDL. |
J. Log. Lang. Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 24 | Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge |
Strong Completeness and Limited Canonicity for PDL. |
J. Log. Lang. Inf. |
2008 |
DBLP DOI BibTeX RDF |
Canonical model, Model disharmony, Propositional dynamic logic, Strong completeness |
| 24 | Nachum Dershowitz |
Canonicity! |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 24 | Robert Goldblatt, Ian M. Hodkinson, Yde Venema |
Erdös graphs resolve Fine's canonicity problem. |
Bull. Symb. Log. |
2004 |
DBLP DOI BibTeX RDF |
|
| 24 | Nachum Dershowitz |
Canonicity. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 24 | Nachum Dershowitz |
Ground Canonicity |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 24 | Stéphane Grandcolas, Laurent Henocque, Nicolas Prcovic |
A Canonicity Test for Configuration. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 24 | Costas D. Koutras, Christos Nomikos, Pavlos Peppas |
Canonicity and Completeness Results for Many-Valued Modal Logics. |
J. Appl. Non Class. Logics |
2002 |
DBLP DOI BibTeX RDF |
|
| 24 | Timothy J. Surendonk |
Canonicity for Intensional Logics with Even Axioms. |
J. Symb. Log. |
2001 |
DBLP DOI BibTeX RDF |
|
| 24 | Silvio Ghilardi, Pierangelo Miglioli |
On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics. |
Stud Logica |
1999 |
DBLP DOI BibTeX RDF |
|
| 24 | Timothy J. Surendonk |
Canonicity for Intensional Logics Without Iterative Axioms. |
J. Philos. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
| 24 | Silvio Ghilardi, Giancarlo Meloni |
Constructive Canonicity in Non-Classical Logics. |
Ann. Pure Appl. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
| 24 | Bernard Plessier, Gary D. Hachtel, Fabio Somenzi |
Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. |
Formal Methods Syst. Des. |
1994 |
DBLP DOI BibTeX RDF |
|
| 24 | Bjarni Jónsson |
On the canonicity of Sahlqvist identities. |
Stud Logica |
1994 |
DBLP DOI BibTeX RDF |
|
| 24 | Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi |
Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. |
ICCAD |
1991 |
DBLP DOI BibTeX RDF |
|
| 24 | Michael R. Genesereth |
Canonicity in rule systems. |
EUROSAM |
1979 |
DBLP DOI BibTeX RDF |
|
| 20 | Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown |
Scalable Synthesis and Clustering Techniques Using Decision Diagrams. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 20 | Jörn Ossowski, Christel Baier |
A uniform framework for weighted decision diagrams and its implementation. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 20 | Maria Paola Bonacina, Nachum Dershowitz |
Canonical Inference for Implicational Systems. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 20 | Kaustuv Chaudhuri, Dale Miller 0001, Alexis Saurin |
Canonical Sequent Proofs via Multi-Focusing. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 20 | Yifeng Chen, Jeff W. Sanders |
Compositional Reasoning for Pointer Structures. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 20 | Paul Blain Levy |
Jumbo lambda-Calculus. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
| 20 | Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz |
Consistency and Completeness of Rewriting in the Calculus of Constructions. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 20 | Gianpiero Cabodi, Marco Murciano |
BDD-Based Hardware Verification. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 20 | Amit Goel, Gagan Hasteer, Randal E. Bryant |
Symbolic representation with ordered function templates. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
function templates, logic design verification, boolean functions, binary decision diagrams, symbolic simulation |
| 20 | Maciej J. Ciesielski, Priyank Kalla, Zhihong Zeng, Bruno Rouzeyre |
Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
| 20 | Robert Giegerich |
Explaining and Controlling Ambiguity in Dynamic Programming. |
CPM |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license