Skip to main navigation
Skip to search
Skip to main content
Technical University of Munich Home
Help & FAQ
English
Deutsch
Home
Profiles
Research units
Projects
Research output
Datasets
Prizes
Activities
Press/Media
Impacts
Search by expertise, name or affiliation
Combining matching algorithms: The regular case
Tobias Nipkow
University of Cambridge
Research output
:
Contribution to journal
›
Article
›
peer-review
23
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Combining matching algorithms: The regular case'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Matching Algorithm
100%
Disjoint
100%
Equational Theory
100%
Undecidable
50%
Combined Algorithm
50%
SIMPLE Algorithm
50%
Matching Problem
50%
Word Problems
50%
Computer Science
Equational Theory
100%
Matching Algorithm
100%
Simple Algorithm
50%