|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1037 occurrences of 720 keywords
|
|
|
Results
Found 3060 publication records. Showing 3060 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Patrik Eklund, Maria A. Galán, Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde |
A categorical approach to unification of generalised terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![In: Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 41-51, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Robin N. Banerjee, Andrés Bujosa |
Syntactic Unification as a Geometric Operation in Free Modules over certain Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![In: Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 22-40, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Temur Kutsia |
Pattern Unification with Sequence Variables, Flexible Arity Symbols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![In: Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 52-69, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Teresa Alsinet, Lluís Godo, Sandra A. Sandri |
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNCL@ICALP ![In: Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 1-21, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Liviu-Virgil Ciortuz |
Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 85-98, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Gérald Point |
AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement. (AltaRica: Contribution to the unification of formal methods and safety assessment). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
24 | Margus Veanes |
The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Thirteenth Annual IEEE Symposium on Logic in Computer Science, Indianapolis, Indiana, USA, June 21-24, 1998, pp. 264-275, 1998, IEEE Computer Society, 0-8186-8506-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Paliath Narendran, Friedrich Otto |
Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 19(1), pp. 87-115, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Gilles Amiot |
On decision problems for second order unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: 9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995., pp. 2, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Manfred Schmidt-Schauß |
An Algorithm for Distributive Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: 9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995., pp. 52, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Jordi Levy |
A Decidable Second-Order Unification Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: 9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995., pp. 33, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Jason Brown, Lincoln A. Wallen |
Representing Unification in a Logical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: 9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995., pp. 10-12, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Francisco J. Durán, Ernesto Pimentel 0001 |
Objects communication by extending the unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: 9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995., pp. 18-21, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Heinz Faßbender, Heiko Vogler |
A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 11(3), pp. 139-167, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
24 | Bertrand Delsart |
E-unification en demonstration automatique. (E-unification in automated deduction). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
24 | Eric Domenjoud |
AC Unification Through Order-Sorted AC1 Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 14(6), pp. 537-556, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
24 | Masaaki Nagata |
An Empirical Study on Rule Granularity and Unification Interleaving Toward an Efficient Unification-Based Parsing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: 14th International Conference on Computational Linguistics, COLING 1992, Nantes, France, August 23-28, 1992, pp. 177-183, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
24 | Frank Pfenning |
Unification and Anti-Unification in the Calculus of Constructions ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), Amsterdam, The Netherlands, July 15-18, 1991, pp. 74-85, 1991, IEEE Computer Society, 0-8186-2230-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Hubert Comon |
Unification et disunification : théorie et applications. (Unification and disunification in free algebras and in initial algebras : theory and applications). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
24 | Jean-Christophe Ianeselli |
Un opérateur d'unification pour une machine base de connaissance PROLOG. (An unification operator for a PROLOG knowledge base machine). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1985 |
RDF |
|
23 | Grazyna Brzykcy |
Data Integration in a System with Agents' Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings, pp. 162-171, 2008, Springer, 978-3-540-78581-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Prolog-like computations, unification, schema mapping, query rewriting, P2P system, XML data |
23 | Bart Jacobs 0001, Sjaak Smetsers, Ronny Wichers Schreur |
Code-carrying theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(2), pp. 191-203, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Compression, Code generation, Functional languages, Unification, PVS, Proof assistants |
23 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(2), pp. 269-301, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem |
23 | Mathieu Baudet |
Deciding security of protocols against off-line guessing attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, Alexandria, VA, USA, November 7-11, 2005, pp. 16-25, 2005, ACM, 1-59593-226-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
second-order e-unification, formal methods, security protocols, guessing attacks |
23 | William C. Chu, Chih-Wei Lu, Chih-Hung Chang, Yeh-Ching Chung, Yueh-Min Huang, Baowen Xu |
Software Maintainability Improvement: Integrating Standards and Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 697-702, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
model unification and integration, XML, UML, software maintenance, software standards |
23 | Eui-nam Huh, Lonnie R. Welch, Behrooz A. Shirazi, Charles Cavanaugh |
Heterogeneous Resource Management for Dynamic Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Heterogeneous Computing Workshop ![In: 9th Heterogeneous Computing Workshop, HCW 2000, Cancun, Mexico, May 1, 2000, pp. 287-296, 2000, IEEE Computer Society, 0-7695-0556-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
load balancing feasibility analysis, QoS, resource management, heterogeneous, allocation, unification, Dynamic real-time systems |
23 | Antonio Ferrández Rodríguez, Manuel Palomar, Lidia Moreno |
An Empirical Approach to Spanish Anaphora Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 14(3-4), pp. 191-216, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Slot Unification Grammar, Spanish, anaphora resolution, partial parsing |
23 | J. C. Tay, S. Y. Huang, Hiok Chai Quek |
CSL (Part I): Modelling General N-ary, Logical CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 414-421, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints |
23 | Alessandro Armando, Alan Smaill, Ian Green |
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 2-9, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
proof-planning paradigm, recursive functional programs, functional programming, correctness proofs, automatic synthesis, recursive programs, unification algorithm |
23 | Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov |
Complexity and Expressive Power of Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, Ulm, Germany, June 24-27, 1997, pp. 82-101, 1997, IEEE Computer Society, 0-8186-7907-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power |
23 | Sankar Virdhagriswaran, Mike Webb, Jeff Mallatt |
Manufacturing collaboration resource discovery system (McRDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings, pp. 117-127, 1995, IEEE Computer Society, 0-8186-7019-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
manufacturing collaboration resource discovery system, McRDS, product prototype, office automation tools, virtual database, product information databases, semantic messaging, semantic unification, Knowledge Query Manipulation Language, information messaging protocol, PDES/STEP, application protocols, Internet, query processing, query processing, groupware, CAD, CORBA, distributed databases, query languages, product development, product development, office automation, CAD/CAM, software standards, KQML, CAE, information brokering |
23 | Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai |
Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, pp. 236-259, 1994, Springer, 3-540-58202-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction |
23 | Bill Keller |
Formalisms for grammatical knowledge representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 6(4), pp. 365-381, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
constituent structure, feature structures, knowledge representation, natural language, parsing, grammar, unification |
23 | Christian Prehofer |
An Efficient Constraint Language for Polymorphic Order-sorted Resoluton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 319-338, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Order-sorted Logic, Constraints, Polymorphism, Resolution, Unification |
23 | Benjamin Bell, Louis-François Pau |
Contour Tracking and Corner Detection in a Logic Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(9), pp. 913-917, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog predicates, logic programming, computerised picture processing, computerised pattern recognition, computerised pattern recognition, unification, backtracking, corner detection, parameter selection, contour tracking, logic programming environment |
23 | Françoise Debart, Patrice Enjalbert, Madeleine Lescot |
Multi-Modal Logic Programming using Equational and Order-Sorted Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings, pp. 55-69, 1990, Springer, 3-540-53162-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification |
23 | Sergei Nirenburg, Lori S. Levin |
Knowledge representation support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 4(1), pp. 25-52, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
constituent structure (c-structure), functional structure (f-structure), interlingua text (ILT), Lexical Functional Grammar, microtheories, unification |
23 | Hans Jürgen Ohlbach |
A Resolution Calculus for Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 500-516, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
resolution principle, modal logic, unification |
22 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo |
Negative Ternary Set-Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 301-316, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois |
Towards Interoperability in Component Based Development with a Family of DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture, Second European Conference, ECSA 2008, Paphos, Cyprus, September 29 - October 1, 2008, Proceedings, pp. 148-163, 2008, Springer, 978-3-540-88029-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
heterogeneous components, domain specific language (DSL), Specware, interoperability, formal semantics, category theory |
22 | François Bry, Tim Furche, Benedikt Linse |
Simulation Subsumption or Déjà vu on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, pp. 28-42, 2008, Springer, 978-3-540-88736-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Srikanth Venkataraman, Ruchir Puri, Steve Griffith, Ankush Oberai, Robert Madge, Greg Yeric, Walter Ng, Yervant Zorian |
Making Manufacturing Work For You. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 44th Design Automation Conference, DAC 2007, San Diego, CA, USA, June 4-8, 2007, pp. 107-108, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
22 | Luc Steels, Joachim De Beule |
Unify and Merge in Fluid Construction Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EELC ![In: Symbol Grounding and Beyond, Third International Workshop on the Emergence and Evolution of Linguistic Communication, EELC 2006, Rome, Italy, September 30 - October 1, 2006, Proceedings, pp. 197-223, 2006, Springer, 3-540-45769-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Ming Zhao 0003, Tat-Seng Chua |
Face Alignment with Unified Subspace Optimization of Active Statistical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGR ![In: Seventh IEEE International Conference on Automatic Face and Gesture Recognition (FGR 2006), 10-12 April 2006, Southampton, UK, pp. 67-72, 2006, IEEE Computer Society, 0-7695-2503-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Gopalan Nadathur, Xiaochu Qi |
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 110-124, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Paul Agron, Leo Bachmair, Frank Nielsen |
A Visual Interactive Framework for Formal Derivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I, pp. 1019-1026, 2005, Springer, 3-540-26032-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Christophe Ringeissen |
Matching in a Class of Combined Non-disjoint Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, pp. 212-227, 2003, Springer, 3-540-40559-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Jan-Mark S. Wams, Maarten van Steen |
A Flexible Middleware Layer for User-to-User Messaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings, pp. 297-309, 2003, Springer, 3-540-20529-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Katrin Erk, Joachim Niehren |
Parallelism Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings, pp. 110-126, 2000, Springer, 3-540-67778-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Bikash Chandra Ghosh, Vilas Wuwongse |
A Direct Proof Procedure for Definite Conceptual Graph Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Applications, Implementation and Theory, Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, California, USA, August 14-18, 1995, Proceedings, pp. 158-172, 1995, Springer, 3-540-60161-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Christophe Ringeissen |
Combination of Matching Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings, pp. 187-198, 1994, Springer, 3-540-57785-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Tobias Nipkow, Christian Prehofer |
Type Checking Type Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 409-418, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Haskell |
22 | Maria-Virginia Aponte |
Extending Record Typing to Type Parametric Modules with Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 465-478, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Standard ML |
22 | Matthias Baaz, Richard Zach |
Algorithmic Structuring of Cut-free Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers, pp. 29-42, 1992, Springer, 3-540-56992-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Michael Hanus |
Parametric Order-Sorted Types in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD), pp. 181-200, 1991, Springer, 3-540-53981-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Francis Klay |
Undecidable Properties of Syntactic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 136-149, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Jean-Pierre Jouannaud |
Syntactic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 15-25, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
ML Typability is DEXTIME-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 206-220, 1990, Springer, 3-540-52590-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Kim Marriott, Harald Søndergaard |
On prolog and the occur check problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 24(5), pp. 76-82, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
22 | Staffan Bonnier, Jan Maluszynski |
Towards a Clean Amalgamation of Logic Programs with External Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings, pp. 20-34, 1988, Springer, 3-540-50820-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Hans-Albert Schneider, Werner Dilger |
Information Processing with Associative Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, Aachen, Germany, September 17-19, 1986, Proceedings, pp. 222-229, 1986, Springer, 3-540-16811-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Norihisa Suzuki |
Inferring Types in Smalltalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, Williamsburg, Virginia, USA, January 1981, pp. 187-199, 1981, ACM Press, 0-89791-029-X. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
22 | Tomasz Pietrzykowski |
A Complete Mechanization of Second-Order Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 20(2), pp. 333-364, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi |
Hints in Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 84-98, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Raymond T. Boute |
Making Temporal Logic Calculational: A Tool for Unification and Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 387-402, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Yossi Azar, Iftah Gamzu |
Truthful Unification Framework for Packing Integer Programs with Choices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games, pp. 833-844, 2008, Springer, 978-3-540-70574-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman |
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers, pp. 158-174, 2007, Springer, 978-3-540-77563-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Greg D. Moody, Taylor Wells, Paul Benjamin Lowry |
The Interactive Digital Entertainment (IDE) Unification Framework: Creating a Taxonomy of IDE and Lifestyle Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 160, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Yong Sun, Yu (David) Shi, Fang Chen 0001, Vera Yuk Ying Chung |
An efficient unification-based multimodal language processor in multimodal input fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 2007 Australasian Computer-Human Interaction Conference, OZCHI 2007, Adelaide, Australia, November 28-30, 2007, pp. 215-218, 2007, ACM, 978-1-59593-872-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fusion techniques & hybrid architectures, processing of language and action patterns |
20 | Hiroki Tanioka |
A Method of Preferential Unification of Plural Retrieved Elements for XML Retrieval Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INEX ![In: Comparative Evaluation of XML Information Retrieval Systems, 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006, Dagstuhl Castle, Germany, December 17-20, 2006, Revised and Selected Papers, pp. 45-56, 2006, Springer, 978-3-540-73887-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | S. K. Kashyap, J. R. Raol |
Unification and Interpretation of Fuzzy Set Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 355-358, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jean Bézivin |
On the unification power of models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(2), pp. 171-188, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Models, MDA, Metamodels, MDE |
20 | Noureddine Chabini, Wayne H. Wolf |
Unification of scheduling, binding, and retiming to reduce power consumption under timings and resources constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 13(10), pp. 1113-1126, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Jun Liu 0069, Huijuan Yang, Alex C. Kot |
Relationships and unification of binary images data-hiding methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 981-984, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Jungwon Cho, Seungdo Jeong, Byung-Uk Choi |
A Fast Image Retrieval Using the Unification Search Method of Binary Classification and Dimensionality Condensation of Feature Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III, pp. 240-247, 2005, Springer, 3-540-28896-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Boris Köpf, Heiko Mantel |
Eliminating Implicit Information Leaks by Transformational Typing and Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 47-62, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Bradford Starkie, Henning Fernau |
The Boisdale Algorithm - An Induction Method for a Subclass of Unification Grammar from Positive Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004, Proceedings, pp. 235-247, 2004, Springer, 3-540-23410-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Xiao Wei Yin, Martin Fleury, Andy C. Downton |
A Unification Framework for Tree and Block Wavelet Encoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 17th International Conference on Pattern Recognition, ICPR 2004, Cambridge, UK, August 23-26, 2004., pp. 795-798, 2004, IEEE Computer Society, 0-7695-2128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Atul Adya, Paramvir Bahl, Jitendra Padhye, Alec Wolman, Lidong Zhou |
A Multi-Radio Unification Protocol for IEEE 802.11 Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: 1st International Conference on Broadband Networks (BROADNETS 2004), 25-29 October 2004, San Jose, CA, USA, pp. 344-354, 2004, IEEE Computer Society, 0-7695-2221-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jong-Bok Kim, Jaehyung Yang, Incheol Choi |
Feature Unification and Constraint Satisfaction in Parsing Korean Case Phenomena. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings, pp. 1160-1166, 2004, Springer, 3-540-24059-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Barbara Morawska 0001 |
Completeness of E-Unification with Eager Variable Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, pp. 198-212, 2003, Springer, 3-540-20101-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Hajime Shimada, Hideki Ando, Toshio Shimada |
Pipeline stage unification: a low-energy consumption technique for future mobile processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003, Seoul, Korea, August 25-27, 2003, pp. 326-329, 2003, ACM, 1-58113-682-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
future process technology, pipeline stage, dynamic voltage scaling, low-power consumption |
20 | Noureddine Chabini, Ismaïl Chabini, El Mostapha Aboulhamid, Yvon Savaria |
Unification of basic retiming and supply voltage scaling to minimize dynamic power consumption for synchronous digital designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, Washington, DC, USA, April 28-29, 2003, pp. 221-224, 2003, ACM, 1-58113-677-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
supply voltage scaling, performance, power consumption, CMOS, retiming, digital design |
20 | Mark Johnson 0001 |
Learning and Parsing Stochastic Unification-Based Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Computational Learning Theory and Kernel Machines, 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings, pp. 671-683, 2003, Springer, 3-540-40720-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Stanislav Krajci, Rastislav Lencses, Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás |
A Similarity-Based Unification Model for Flexible Querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings, pp. 263-273, 2002, Springer, 3-540-00074-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Gérard P. Huet |
Higher Order Unification 30 Years Later. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 3-12, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Baldan, Andrea Bracciali, Roberto Bruni |
Bisimulation by Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 254-270, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Liviu-Virgil Ciortuz |
A Framework for Inductive Learning of Typed-Unification Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings, pp. 299-302, 2002, Springer, 3-540-44239-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jayadev Misra |
The Case against a Grand Unification Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Software Reuse: Methods, Techniques, and Tools, 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002, Proceedings, pp. 328, 2002, Springer, 3-540-43483-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Temur Kutsia |
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 290-304, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Björn Gambäck |
Unification-Based Lexicon and Morphology with Speculative Feature Signalling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, Second International Conference, CICLing 2001, Mexico-City, Mexico, February 18-24, 2001, Proceedings, pp. 349-362, 2001, Springer, 3-540-41687-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Mahmut T. Kandemir |
Array Unification: A Locality Optimization Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 10th International Conference, CC 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. 259-273, 2001, Springer, 3-540-41861-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Ruvim Lipyanski |
Pythagorean Triples in Unification Theory of Nilpotent Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001, Proceedings, pp. 392-395, 2001, Springer, 3-540-42487-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Christopher Lynch, Barbara Morawska 0001 |
Goal-Directed E-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, pp. 231-245, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | David A. Duffy, Ian Toyn |
Reasoning Inductively about Z Specifications via Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 75-94, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Pedro J. Martín, Antonio Gavilanes |
Simultaneous Rigid Sorted Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings, pp. 193-208, 2000, Springer, 3-540-41131-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Nikolaj S. Bjørner, César A. Muñoz |
Absolute Explicit Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings, pp. 31-46, 2000, Springer, 3-540-67778-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Mark-Jan Nederhof |
Preprocessing for Unification Parsing of Spoken Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Natural Language Processing ![In: Natural Language Processing - NLP 2000, Second International Conference, Patras, Greece, June 2-4, 2000, Proceedings, pp. 118-129, 2000, Springer, 3-540-67605-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Leonardo Maria Reyneri |
Unification of neural and wavelet networks and fuzzy systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 10(4), pp. 801-814, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 3060 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|