Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for transitivity with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1968-1985 (15) 1986-1990 (16) 1991-1993 (15) 1994-1997 (17) 1998-1999 (17) 2000-2001 (19) 2002-2003 (44) 2004 (22) 2005 (19) 2006 (36) 2007 (32) 2008 (33) 2009 (29) 2010 (22) 2011 (17) 2012 (17) 2013 (20) 2014 (15) 2015 (22) 2016 (19) 2017 (21) 2018 (23) 2019 (25) 2020 (19) 2021 (21) 2022 (29) 2023 (23) 2024 (3)
Publication types (Num. hits)
article(298) incollection(2) inproceedings(307) phdthesis(3)
Venues (Conferences, Journals, ...)
CoRR(54) Fuzzy Sets Syst.(19) Inf. Sci.(11) Discret. Math.(9) CADE(8) LICS(6) AAAI(5) Cogn. Sci.(5) Des. Codes Cryptogr.(5) EUSFLAT Conf.(5) Int. J. Bifurc. Chaos(5) J. Comb. Theory, Ser. A(5) LPAR(5) MFCS(5) NeurIPS(5) Notre Dame J. Formal Log.(5) More (+10 of total 357)
Authors
Bernard De Baets(26) Hans E. De Meyer(17) Susana Díaz(9) Susana Montes(9) Anthony Bonato(8) Lidia Tendera(8) Emanuel Kieronski(5) Gianpiero Cattaneo(5) Ian Pratt-Hartmann(5) Miroslav N. Velev(5) Yong Luo 0001(5) Bart De Schuymer(4) Cheryl E. Praeger(4) Eyke Hüllermeier(4) Francisco Chiclana(4) Kamal Santra(4) More (+10 of total 1123)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 237 occurrences of 200 keywords
Results
Found 610 publication records. Showing 610 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
12Donald Beaver Foundations of Secure Interactive Computing. Search on Bibsonomy CRYPTO The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
12Deepak Kapur, G. Sivakumar, Hantao Zhang 0001 A New Method for Proving Termination of AC-Rewrite Systems. Search on Bibsonomy FSTTCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
12Bernadette Charron-Bost Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory. Search on Bibsonomy WDAG The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
12Hans Jürgen Ohlbach A Resolution Calculus for Modal Logics. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF resolution principle, modal logic, unification
12Madhukar N. Thakur, John Dinsmore Time representation based on knowledge partitioning (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
12Zohar Manna, Richard J. Waldinger Special relations in automated deduction. Search on Bibsonomy J. ACM The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
12Zohar Manna, Richard J. Waldinger Special Relations in Automated Deduction. Search on Bibsonomy ICALP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
12Zohar Manna, Richard J. Waldinger Deduction with Relation Matching. Search on Bibsonomy FSTTCS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
12W. W. Bledsoe, Larry M. Hines Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. Search on Bibsonomy CADE The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
12Gustav Feichtinger Der Quotientenautomat nach einem direkten Faktor einer Automorphismengruppe. Search on Bibsonomy Computing The full citation details ... 1968 DBLP  DOI  BibTeX  RDF
Displaying result #601 - #610 of 610 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license