|
|
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 |
81 | Kosta Dosen, Zoran Petric |
Equality of proofs for linear equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(6), pp. 549-565, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03F07, 03F52, 03G30, 18C05, 18A40, 18D10, 03F05 |
68 | Orly Meir, Ofer Strichman |
Yet Another Decision Procedure for Equality Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 307-320, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Jan 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](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 229-244, 2023, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
63 | Georg Rehm, Andy Way |
Strategic Research, Innovation and Implementation Agenda for Digital Language Equality in Europe by 2030. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 387-412, 2023, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
63 | Georg Rehm, Andy Way |
European Language Equality: Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 1-10, 2023, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
63 | Federico Gaspari, Annika Grützner-Zahn, Georg Rehm, Owen Gallagher, Maria Giagkou, Stelios Piperidis, Andy Way |
Digital Language Equality: Definition, Metric, Dashboard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 39-73, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
61 | Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur |
Revisiting Positive Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 1-15, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
61 | Martin Elsman |
Polymorphic Equality - No Tags Required. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Types in Compilation ![In: Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings, pp. 136-155, 1998, Springer, 3-540-64925-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
57 | Olga Tveretina, Hans Zantema |
A Proof System and a Decision Procedure for Equality Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings, pp. 530-539, 2004, Springer, 3-540-21258-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Equality logic, satisfiability, resolution |
56 | Kun-Lung Wu, Philip S. Yu |
Efficient query monitoring using adaptive multiple key hashing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, McLean, VA, USA, November 4-9, 2002, pp. 477-484, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
adaptive multiple key hashing, query monitoring, publish/subscribe, continual queries, query indexing |
54 | Reinhold Letz, Gernot Stenz |
Integration of Equality Reasoning into the Disconnection Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings, pp. 176-190, 2002, Springer, 3-540-43929-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
54 | Andrei Voronkov |
Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 32-46, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
52 | Miroslav 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](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 235-240, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
51 | Martin 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](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 337-359, 2023, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
51 | Marcin 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](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 289-312, 2023, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
51 | Itziar Aldabe, Aritz Farwell, German Rigau, Georg Rehm, Andy Way |
Strategic Plans and Projects in Language Technology and Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 361-386, 2023, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
51 | Emma 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](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 245-262, 2023, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
51 | Inguna 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](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 263-287, 2023, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
51 | José 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](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 313-336, 2023, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
51 | Diana Maynard, Joanna Wright, Mark A. Greenwood, Kalina Bontcheva |
Language Report English. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 127-130, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Stefanie Hegele, Barbara Heinisch, Antonia Popp, Katrin Marheinecke, Annette Rios, Dagmar Gromann, Martin Volk 0001, Georg Rehm |
Language Report German. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 147-150, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | José Manuel Ramírez Sánchez, Laura Docío Fernández, Carmen García-Mateo |
Language Report Galician. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 143-146, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Maciej Ogrodniczuk, Piotr Pezik, Marek Lazinski, Marcin Milkowski |
Language Report Polish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 191-194, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Lars Borin, Rickard Domeij, Jens Edlund, Markus Forsberg |
Language Report Swedish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 219-222, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Svetla Koeva |
Language Report Bulgarian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 103-106, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Maria Gavriilidou, Maria Giagkou, Dora Loizidou, Stelios Piperidis |
Language Report Greek. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 151-154, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Maite Melero, Blanca Calvo Figueras, Mar Rodriguez i Alvarez, Marta Villegas |
Language Report Catalan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 107-110, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Dimitra Anastasiou |
Language Report Luxembourgish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 179-182, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Teresa Lynn |
Language Report Irish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 163-166, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Bolette Sandford Pedersen, Sussi Olsen, Lina Henriksen |
Language Report Danish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 119-122, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | António Branco, Sara Grilo, João Silva |
Language Report Portuguese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 195-198, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Vasile Pais, Dan Tufis |
Language Report Romanian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 199-202, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Eiríkur Rögnvaldsson |
Language Report Icelandic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 159-162, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Kadri Muischnek |
Language Report Estonian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 131-134, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Inguna Skadina, Ilze Auzina, Baiba Valkovska, Normunds Gruzitis |
Language Report Latvian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 171-174, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Michael Rosner, Claudia Borg |
Language Report Maltese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 183-186, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Kinga Jelencsik-Mátyus, Eniko Héja, Zsófia Varga, Tamás Váradi |
Language Report Hungarian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 155-158, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Tarik Cusic |
Language Report Bosnian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 99-102, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Maria Giagkou, Teresa Lynn, Jane Dunne, Stelios Piperidis, Georg Rehm |
European Language Technology in 2022/2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 75-94, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Jaroslava Hlavácová |
Language Report Czech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 115-118, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Cvetana Krstev, Ranka Stankovic |
Language Report Serbian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 203-206, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Simon Krek |
Language Report Slovenian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 211-214, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Rodrigo 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](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 13-38, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Marko Tadic |
Language Report Croatian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 111-114, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Delyth Prys, Gareth Watkins |
Language Report Welsh. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 223-226, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Anzelika Gaidiene, Aurelija Tamulioniene |
Language Report Lithuanian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 175-178, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Krister Lindén, Wilhelmina Dyster |
Language Report Finnish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 135-138, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Kristine Eide, Andre Kåsen, Ingerid Løyning Dale |
Language Report Norwegian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 187-190, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Gilles Adda, Ioana Vasilescu, François Yvon |
Language Report French. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 139-142, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Maite Melero, Pablo Peñarrubia, David Cabestany, Blanca Calvo, Mar Rodriguez i Alvarez, Marta Villegas |
Language Report Spanish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 215-218, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Frieda Steurs, Vincent Vandeghinste, Walter Daelemans |
Language Report Dutch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 123-126, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Radovan Garabík |
Language Report Slovak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 207-210, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Kepa Sarasola, Itziar Aldabe, Arantza Díaz de Ilarraza, Ainara Estarrona, Aritz Farwell, Inma Hernáez, Eva Navas |
Language Report Basque. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 95-98, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Bernardo Magnini, Alberto Lavelli, Manuela Speranza |
Language Report Italian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Language Equality ![In: European Language Equality - A Strategic Agenda for Digital Language Equality, pp. 167-170, 2022, Springer, 978-3-031-28818-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
50 | Thorsten Altenkirch, Conor McBride, Wouter Swierstra |
Observational equality, now! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007, pp. 57-68, 2007, ACM, 978-1-59593-677-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
type theory, equality |
50 | Anuj Goel, Khurram Sajid, Hai Zhou 0001, Adnan Aziz, Vigyan Singhal |
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 22(3), pp. 205-224, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
logic of equality, BDDs, uninterpreted functions |
50 | Helger Lipmaa |
Verifiable Homomorphic Oblivious Transfer and Private Equality Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2003, 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003, Proceedings, pp. 416-433, 2003, Springer, 3-540-20592-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
cryptographic auctions, verifiable oblivious transfer, verifiable private equality test, homomorphic encryption |
50 | Weining Zhang, Ke Wang |
An Efficient Evaluation of a Fuzzy Equi-Join Using Fuzzy Equality Indicators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 12(2), pp. 225-237, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fuzzy equi–join, fuzzy equality indicator, performance, algorithm, Fuzzy databases |
47 | Masaki Nakamura 0001, Kokichi Futatsugi |
On Equality Predicates in Algebraic Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 381-395, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Zhendong Su 0001, Alexander Aiken |
Entailment with Conditional Equality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 170-189, 2001, Springer, 3-540-41862-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Joachim Niehren, Manfred Pinkal, Peter Ruhrberg |
On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 34-48, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
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 |
45 | Randal E. Bryant, Steven M. German, Miroslav N. Velev |
Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 470-482, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
45 | Ariel Cohen 0004, Michael Kaminski, Johann A. Makowsky |
Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(3), pp. 285-306, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Herbrand models, Sorites, Rough Set Theory, Equality, Default Logic, Vagueness, Indistinguishability, Anaphora |
45 | David A. Plaisted |
Special Cases and Substitutes for Rigid E-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 10(2), pp. 97-152, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Rigid E -unification, Theorem proving, First-order logic, Decidability, Unification, Equality, Horn clauses, Tableaux |
43 | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner |
Equality saturation: a new approach to optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 264-276, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
equality reasoning, compiler optimization, intermediate representation |
43 | Gerhard Skagestein, Ragnar Normann |
A Closer Look at the Join-Equality Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2008 Workshops, OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings, pp. 780-786, 2008, Springer, 978-3-540-88874-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Join-equality constraint, Overlapping foreign keys, Boyce-Codd Normal Form |
43 | Zdenek Dostál |
An Optimal Algorithm for Bound and Equality Constrained Quadratic Programming Problems with Bounded Spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 78(4), pp. 311-328, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
bound and equality constraints, optimal algorithms, Quadratic programming, augmented Lagrangians |
43 | Junhu Wang |
Database Design with Equality-Generating Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 10th International Conference, DASFAA 2005, Beijing, China, April 17-20, 2005, Proceedings, pp. 335-346, 2005, Springer, 3-540-25334-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
equality-generating dependency, XML tree, normalization, database design, functional dependency, relations, normal form, data redundancy |
43 | Vilém Novák |
On fuzzy equality and approximation in fuzzy logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(10), pp. 668-675, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Evaluated syntax, Fuzzy approximation, Fuzzy logic, Fuzzy equality |
43 | Riza Aditya, Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee |
Batch Verification for Equality of Discrete Logarithms and Threshold Decryptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004, Proceedings, pp. 494-508, 2004, Springer, 3-540-22217-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Proof of equality of discrete logarithms (PEQDL), Threshold decryption, Threshold ElGamal, Threshold RSA, Batch verification |
43 | Olga Tveretina |
A Decision Procedure for Equality Logic with Uninterpreted Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 66-79, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
equality logic with uninterpreted functions, DPLL procedure, satisfiability |
41 | Karl-Hans Bläsius, Jörg H. Siekmann |
Partial Unification for Graph Based Equational Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 397-414, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
built-in equality, clause graphs with equality, planning in abstraction spaces, Unification |
40 | Gustavo Peconick, Elizabeth F. Wanner, Ricardo H. C. Takahashi |
Projection-based local search operator for multiple equality constraints within genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 3043-3049, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Lutz Schröder |
The Logic of the Partial lambda-Calculus with Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 385-399, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Margarita V. Korovina |
Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 330-344, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Anatoli Degtyarev, Andrei Voronkov |
Equality Elimination for the Tableau Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, pp. 46-60, 1996, Springer, 3-540-61697-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
40 | Serge Abiteboul, Jan Van den Bussche |
Deep Equality Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings, pp. 213-228, 1995, Springer, 3-540-60608-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
38 | Cuiwen 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](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 17-24, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
equality constraints, mgpga, non-convex NLP |
38 | Siyamand Ayubi, Maybin K. Muyeba, John A. Keane |
An Algorithm to Mine General Association Rules from Tabular Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2007, 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings, pp. 705-717, 2007, Springer, 978-3-540-77225-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
equality operators, data mining, general association rules, tabular data |
38 | Kosta Dosen, Zoran Petric |
Coherent Bicartesian and Sesquicartesian Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Theory in Computer Science ![In: Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings, pp. 78-92, 2001, Springer, 3-540-42752-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
categorial proof theory, conjunction and disjunction, decidability of equality of deductions Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03F05 |
36 | Martin Giese |
Superposition-based Equality Handling for Analytic Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 38(1-3), pp. 127-153, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
superposition rules, equality handling, analytic tableaux |
36 | Healfdene Goguen |
A syntactic approach to eta equality in type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 75-84, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
beta-eta equality, decidability, type checking, logical frameworks |
36 | Aram V. Arutyunov, Alexey F. Izmailov |
Abnormal equality-constrained optimization problems: sensitivity theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 100(3), pp. 485-515, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
equality-constrained problem, abnormal point, second-order sufficient conditions, regularity, sensitivity analysis, parametric optimization |
35 | Miroslav N. Velev |
Using Abstraction for Efficient Formal Verification of Pipelined Processors with Value Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 7th International Symposium on Quality of Electronic Design (ISQED 2006), 27-29 March 2006, San Jose, CA, USA, pp. 51-56, 2006, IEEE Computer Society, 0-7695-2523-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Botao Wang, Wang Zhang, Masaru Kitsuregawa |
UB-Tree Based Efficient Predicate Index with Dimension Transform for Pub/Sub System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advances Applications, 9th International Conference, DASFAA 2004, Jeju Island, Korea, March 17-19, 2004, Proceedings, pp. 63-74, 2004, Springer, 3-540-21047-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Gilles Bernot, Michel Bidoit, Teodor Knapik |
Towards an Adequate Notion of Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 39-55, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
35 | Franz-Josef Brandenburg |
Extended Chomsky-Schützenberger Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings, pp. 83-93, 1982, Springer, 3-540-11576-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
34 | Miroslav N. Velev |
Efficient formal verification of pipelined processors with instruction queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004, pp. 92-95, 2004, ACM, 1-58113-853-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
logic of equality, positive equality, decomposition, SAT |
33 | Manuel Bodirsky, Jan Kára |
The Complexity of Equality Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(2), pp. 136-158, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Clones on infinite domains, Computational complexity, Constraint satisfaction, Logic in computer science |
33 | Pedro Cabalar |
Partial Functions and Equality in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 392-406, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Chandan Raj Rupakheti, Daqing Hou |
An empirical study of the design and implementation of object equality in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, October 27-30, 2008, Richmond Hill, Ontario, Canada, pp. 9, 2008, IBM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Manuel Bodirsky, Hubie Chen |
Quantified Equality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 203-212, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Arnaud Carayol, Didier Caucal |
The Kleene Equality for Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings, pp. 214-225, 2006, Springer, 3-540-37791-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Manuel Bodirsky, Jan Kára |
The Complexity of Equality Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, pp. 114-126, 2006, Springer, 3-540-34166-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Clones on Infinite Domains, Computational Complexity, Constraint Satisfaction, Logic in Computer Science |
33 | Christopher K. Monson, Kevin D. Seppi |
Linear equality constraints and homomorphous mappings in PSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005, 2-4 September 2005, Edinburgh, UK, pp. 73-80, 2005, IEEE, 0-7803-9363-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Peter Baumgartner 0001, Cesare Tinelli |
The Model Evolution Calculus with Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, pp. 392-408, 2005, Springer, 3-540-28005-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Miroslav N. Velev |
Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder Buffer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 28-35, 2002, IEEE Computer Society, 0-7695-1471-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Erik Ruf |
Improving the Precision of Equality-Based Dataflow Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, pp. 247-262, 2002, Springer, 3-540-44235-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Jens Palsberg |
Equality-based flow analysis versus recursive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(6), pp. 1251-1264, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
type systems, flow analysis |
33 | Anuj Goel, Khurram Sajid, Hai Zhou 0001, Adnan Aziz, Vigyan Singhal |
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 244-255, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|