The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1952-1971 (16) 1972-1975 (15) 1976-1979 (21) 1980 (16) 1981-1982 (15) 1983-1984 (19) 1985 (15) 1986 (23) 1987-1988 (36) 1989 (26) 1990 (34) 1991 (27) 1992 (43) 1993 (43) 1994 (52) 1995 (38) 1996 (39) 1997 (44) 1998 (57) 1999 (51) 2000 (67) 2001 (62) 2002 (76) 2003 (106) 2004 (105) 2005 (147) 2006 (161) 2007 (167) 2008 (156) 2009 (136) 2010 (86) 2011 (53) 2012 (67) 2013 (56) 2014 (70) 2015 (81) 2016 (88) 2017 (91) 2018 (125) 2019 (123) 2020 (435) 2021 (176) 2022 (258) 2023 (142) 2024 (39)
Publication types (Num. hits)
article(1595) book(1) incollection(61) inproceedings(2021) phdthesis(19) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1089 occurrences of 770 keywords

Results
Found 3703 publication records. Showing 3703 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
81Kosta Dosen, Zoran Petric Equality of proofs for linear equality. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03F07, 03F52, 03G30, 18C05, 18A40, 18D10, 03F05
68Orly Meir, Ofer Strichman Yet Another Decision Procedure for Equality Logic. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63Jan Hajic, Maria Giagkou, Stelios Piperidis, Georg Rehm, Natália Resende Consulting the Community: How to Reach Digital Language Equality in Europe by 2030? Search on Bibsonomy European Language Equality The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
63Georg Rehm, Andy Way Strategic Research, Innovation and Implementation Agenda for Digital Language Equality in Europe by 2030. Search on Bibsonomy European Language Equality The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
63Georg Rehm, Andy Way European Language Equality: Introduction. Search on Bibsonomy European Language Equality The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
63Federico Gaspari, Annika Grützner-Zahn, Georg Rehm, Owen Gallagher, Maria Giagkou, Stelios Piperidis, Andy Way Digital Language Equality: Definition, Metric, Dashboard. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
61Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur Revisiting Positive Equality. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
61Martin Elsman Polymorphic Equality - No Tags Required. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
57Olga Tveretina, Hans Zantema A Proof System and a Decision Procedure for Equality Logic. Search on Bibsonomy LATIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Equality logic, satisfiability, resolution
56Kun-Lung Wu, Philip S. Yu Efficient query monitoring using adaptive multiple key hashing. Search on Bibsonomy CIKM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF adaptive multiple key hashing, query monitoring, publish/subscribe, continual queries, query indexing
54Reinhold Letz, Gernot Stenz Integration of Equality Reasoning into the Disconnection Calculus. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
54Andrei Voronkov Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
52Miroslav N. Velev, Randal E. Bryant EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
51Martin Kaltenböck, Artem Revenko, Khalid Choukri, Svetla Boytcheva, Christian Lieske, Teresa Lynn, German Rigau, Maria Heuschkel, Aritz Farwell, Gareth Jones, Itziar Aldabe, Ainara Estarrona, Katrin Marheinecke, Stelios Piperidis, Victoria Arranz, Vincent Vandeghinste, Claudia Borg Deep Dive Data and Knowledge. Search on Bibsonomy European Language Equality The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
51Marcin Skowron, Gerhard Backfried, Eva Navas, Aivars Berzins, Joachim Van den Bogaert, Franciska de Jong, Andrea DeMarco, Inma Hernáez, Marek Kovác, Peter Polák, Johan Rohdin, Michael Rosner, Jon Sánchez, Ibon Saratxaga, Petr Schwarz Deep Dive Speech Technology. Search on Bibsonomy European Language Equality The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
51Itziar Aldabe, Aritz Farwell, German Rigau, Georg Rehm, Andy Way Strategic Plans and Projects in Language Technology and Artificial Intelligence. Search on Bibsonomy European Language Equality The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
51Emma Daly, Jane Dunne, Federico Gaspari, Teresa Lynn, Natália Resende, Andy Way, Maria Giagkou, Stelios Piperidis, Tereza Vojtechová, Jan Hajic, Annika Grützner-Zahn, Stefanie Hegele, Katrin Marheinecke, Georg Rehm Results of the Forward-looking Community-wide Consultation. Search on Bibsonomy European Language Equality The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
51Inguna Skadina, Andrejs Vasiljevs, Marcis Pinnis, Aivars Berzins, Nora Aranberri, Joachim Van den Bogaert, Sally O'Connor, Mercedes García-Martínez, Iakes Goenaga, Jan Hajic, Manuel Herranz, Christian Lieske, Martin Popel, Maja Popovic, Sheila Castilho, Federico Gaspari, Rudolf Rosa, Riccardo Superbo, Andy Way Deep Dive Machine Translation. Search on Bibsonomy European Language Equality The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
51José Manuél Gómez-Pérez, Andrés García-Silva, Cristian Berrio, German Rigau, Aitor Soroa, Christian Lieske, Johannes Hoffart, Felix Sasaki, Daniel Dahlmeier, Inguna Skadina, Aivars Berzins, Andrejs Vasiljevs, Teresa Lynn Deep Dive Text Analytics and Natural Language Understanding. Search on Bibsonomy European Language Equality The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
51Diana Maynard, Joanna Wright, Mark A. Greenwood, Kalina Bontcheva Language Report English. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Stefanie Hegele, Barbara Heinisch, Antonia Popp, Katrin Marheinecke, Annette Rios, Dagmar Gromann, Martin Volk 0001, Georg Rehm Language Report German. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51José Manuel Ramírez Sánchez, Laura Docío Fernández, Carmen García-Mateo Language Report Galician. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Maciej Ogrodniczuk, Piotr Pezik, Marek Lazinski, Marcin Milkowski Language Report Polish. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Lars Borin, Rickard Domeij, Jens Edlund, Markus Forsberg Language Report Swedish. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Svetla Koeva Language Report Bulgarian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Maria Gavriilidou, Maria Giagkou, Dora Loizidou, Stelios Piperidis Language Report Greek. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Maite Melero, Blanca Calvo Figueras, Mar Rodriguez i Alvarez, Marta Villegas Language Report Catalan. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Dimitra Anastasiou Language Report Luxembourgish. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Teresa Lynn Language Report Irish. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Bolette Sandford Pedersen, Sussi Olsen, Lina Henriksen Language Report Danish. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51António Branco, Sara Grilo, João Silva Language Report Portuguese. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Vasile Pais, Dan Tufis Language Report Romanian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Eiríkur Rögnvaldsson Language Report Icelandic. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Kadri Muischnek Language Report Estonian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Inguna Skadina, Ilze Auzina, Baiba Valkovska, Normunds Gruzitis Language Report Latvian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Michael Rosner, Claudia Borg Language Report Maltese. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Kinga Jelencsik-Mátyus, Eniko Héja, Zsófia Varga, Tamás Váradi Language Report Hungarian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Tarik Cusic Language Report Bosnian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Maria Giagkou, Teresa Lynn, Jane Dunne, Stelios Piperidis, Georg Rehm European Language Technology in 2022/2023. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Jaroslava Hlavácová Language Report Czech. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Cvetana Krstev, Ranka Stankovic Language Report Serbian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Simon Krek Language Report Slovenian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Rodrigo Agerri, Eneko Agirre, Itziar Aldabe, Nora Aranberri, Jose Maria Arriola, Aitziber Atutxa, Gorka Azkune, Jon Ander Campos, Arantza Casillas, Ainara Estarrona, Aritz Farwell, Iakes Goenaga, Josu Goikoetxea, Koldo Gojenola, Inma Hernáez, Mikel Iruskieta, Gorka Labaka, Oier Lopez de Lacalle, Eva Navas, Maite Oronoz, Arantxa Otegi, Alicia Pérez, Olatz Perez-de-Viñaspre, German Rigau, Ander Salaberria, Jon Sánchez, Ibon Saratxaga, Aitor Soroa State-of-the-Art in Language Technology and Language-centric Artificial Intelligence. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Marko Tadic Language Report Croatian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Delyth Prys, Gareth Watkins Language Report Welsh. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Anzelika Gaidiene, Aurelija Tamulioniene Language Report Lithuanian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Krister Lindén, Wilhelmina Dyster Language Report Finnish. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Kristine Eide, Andre Kåsen, Ingerid Løyning Dale Language Report Norwegian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Gilles Adda, Ioana Vasilescu, François Yvon Language Report French. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Maite Melero, Pablo Peñarrubia, David Cabestany, Blanca Calvo, Mar Rodriguez i Alvarez, Marta Villegas Language Report Spanish. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Frieda Steurs, Vincent Vandeghinste, Walter Daelemans Language Report Dutch. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Radovan Garabík Language Report Slovak. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Kepa Sarasola, Itziar Aldabe, Arantza Díaz de Ilarraza, Ainara Estarrona, Aritz Farwell, Inma Hernáez, Eva Navas Language Report Basque. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
51Bernardo Magnini, Alberto Lavelli, Manuela Speranza Language Report Italian. Search on Bibsonomy European Language Equality The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
50Thorsten Altenkirch, Conor McBride, Wouter Swierstra Observational equality, now! Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type theory, equality
50Anuj Goel, Khurram Sajid, Hai Zhou 0001, Adnan Aziz, Vigyan Singhal BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logic of equality, BDDs, uninterpreted functions
50Helger Lipmaa Verifiable Homomorphic Oblivious Transfer and Private Equality Test. Search on Bibsonomy ASIACRYPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF cryptographic auctions, verifiable oblivious transfer, verifiable private equality test, homomorphic encryption
50Weining Zhang, Ke Wang An Efficient Evaluation of a Fuzzy Equi-Join Using Fuzzy Equality Indicators. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF fuzzy equi–join, fuzzy equality indicator, performance, algorithm, Fuzzy databases
47Masaki Nakamura 0001, Kokichi Futatsugi On Equality Predicates in Algebraic Specification Languages. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Zhendong Su 0001, Alexander Aiken Entailment with Conditional Equality Constraints. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
47Joachim Niehren, Manfred Pinkal, Peter Ruhrberg On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF tree constraints, subtree relation, string unification, context unification, linear second-order unification, one-step rewriting, semantic processing of natural language
45Randal E. Bryant, Steven M. German, Miroslav N. Velev Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
45Ariel Cohen 0004, Michael Kaminski, Johann A. Makowsky Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Herbrand models, Sorites, Rough Set Theory, Equality, Default Logic, Vagueness, Indistinguishability, Anaphora
45David A. Plaisted Special Cases and Substitutes for Rigid E-Unification. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Rigid E -unification, Theorem proving, First-order logic, Decidability, Unification, Equality, Horn clauses, Tableaux
43Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner Equality saturation: a new approach to optimization. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF equality reasoning, compiler optimization, intermediate representation
43Gerhard Skagestein, Ragnar Normann A Closer Look at the Join-Equality Constraint. Search on Bibsonomy OTM Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Join-equality constraint, Overlapping foreign keys, Boyce-Codd Normal Form
43Zdenek Dostál An Optimal Algorithm for Bound and Equality Constrained Quadratic Programming Problems with Bounded Spectrum. Search on Bibsonomy Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bound and equality constraints, optimal algorithms, Quadratic programming, augmented Lagrangians
43Junhu Wang Database Design with Equality-Generating Dependencies. Search on Bibsonomy DASFAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF equality-generating dependency, XML tree, normalization, database design, functional dependency, relations, normal form, data redundancy
43Vilém Novák On fuzzy equality and approximation in fuzzy logic. Search on Bibsonomy Soft Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Evaluated syntax, Fuzzy approximation, Fuzzy logic, Fuzzy equality
43Riza Aditya, Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee Batch Verification for Equality of Discrete Logarithms and Threshold Decryptions. Search on Bibsonomy ACNS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Proof of equality of discrete logarithms (PEQDL), Threshold decryption, Threshold ElGamal, Threshold RSA, Batch verification
43Olga Tveretina A Decision Procedure for Equality Logic with Uninterpreted Functions. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF equality logic with uninterpreted functions, DPLL procedure, satisfiability
41Karl-Hans Bläsius, Jörg H. Siekmann Partial Unification for Graph Based Equational Reasoning. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF built-in equality, clause graphs with equality, planning in abstraction spaces, Unification
40Gustavo Peconick, Elizabeth F. Wanner, Ricardo H. C. Takahashi Projection-based local search operator for multiple equality constraints within genetic algorithms. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Lutz Schröder The Logic of the Partial lambda-Calculus with Equality. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Margarita V. Korovina Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Anatoli Degtyarev, Andrei Voronkov Equality Elimination for the Tableau Method. Search on Bibsonomy DISCO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
40Serge Abiteboul, Jan Van den Bussche Deep Equality Revisited. Search on Bibsonomy DOOD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
38Cuiwen Cao, Jinwei Gu, Bin Jiao, Zhong Xin, Xingsheng Gu Optimizing constrained non-convex NLP problems in chemical engineering field by a novel modified goal programming genetic algorithm. Search on Bibsonomy GEC Summit The full citation details ... 2009 DBLP  DOI  BibTeX  RDF equality constraints, mgpga, non-convex NLP
38Siyamand Ayubi, Maybin K. Muyeba, John A. Keane An Algorithm to Mine General Association Rules from Tabular Data. Search on Bibsonomy IDEAL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF equality operators, data mining, general association rules, tabular data
38Kosta Dosen, Zoran Petric Coherent Bicartesian and Sesquicartesian Categories. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF categorial proof theory, conjunction and disjunction, decidability of equality of deductions Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03F05
36Martin Giese Superposition-based Equality Handling for Analytic Tableaux. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF superposition rules, equality handling, analytic tableaux
36Healfdene Goguen A syntactic approach to eta equality in type theory. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF beta-eta equality, decidability, type checking, logical frameworks
36Aram V. Arutyunov, Alexey F. Izmailov Abnormal equality-constrained optimization problems: sensitivity theory. Search on Bibsonomy Math. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF equality-constrained problem, abnormal point, second-order sufficient conditions, regularity, sensitivity analysis, parametric optimization
35Miroslav N. Velev Using Abstraction for Efficient Formal Verification of Pipelined Processors with Value Prediction. Search on Bibsonomy ISQED The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Botao Wang, Wang Zhang, Masaru Kitsuregawa UB-Tree Based Efficient Predicate Index with Dimension Transform for Pub/Sub System. Search on Bibsonomy DASFAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Gilles Bernot, Michel Bidoit, Teodor Knapik Towards an Adequate Notion of Observation. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
35Franz-Josef Brandenburg Extended Chomsky-Schützenberger Theorems. Search on Bibsonomy ICALP The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
34Miroslav N. Velev Efficient formal verification of pipelined processors with instruction queues. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF logic of equality, positive equality, decomposition, SAT
33Manuel Bodirsky, Jan Kára The Complexity of Equality Constraint Languages. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Clones on infinite domains, Computational complexity, Constraint satisfaction, Logic in computer science
33Pedro Cabalar Partial Functions and Equality in Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Chandan Raj Rupakheti, Daqing Hou An empirical study of the design and implementation of object equality in Java. Search on Bibsonomy CASCON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Manuel Bodirsky, Hubie Chen Quantified Equality Constraints. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Arnaud Carayol, Didier Caucal The Kleene Equality for Graphs. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Manuel Bodirsky, Jan Kára The Complexity of Equality Constraint Languages. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Clones on Infinite Domains, Computational Complexity, Constraint Satisfaction, Logic in Computer Science
33Christopher K. Monson, Kevin D. Seppi Linear equality constraints and homomorphous mappings in PSO. Search on Bibsonomy Congress on Evolutionary Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Peter Baumgartner 0001, Cesare Tinelli The Model Evolution Calculus with Equality. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Miroslav N. Velev Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder Buffer. Search on Bibsonomy DATE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Erik Ruf Improving the Precision of Equality-Based Dataflow Analyses. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Jens Palsberg Equality-based flow analysis versus recursive types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF type systems, flow analysis
33Anuj Goel, Khurram Sajid, Hai Zhou 0001, Adnan Aziz, Vigyan Singhal BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 3703 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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