Results 1 - 10 of 51 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Full Text Online (41)
- Peer-reviewed Journals (26)
Refined by:
author/creator:
Middeldorp, Aart
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Abstract Completion, FormalizedNao Hirokawa ; Aart Middeldorp ; Christian Sternagel ; Sarah WinklerLogical methods in computer science, 2019-01, Vol.15, Issue 3 [Peer Reviewed Journal]Logical Methods in Computer Science e.VFull text available |
| 2 |
Material Type: Article
|
|
Complexity of Conditional Term RewritingCynthia Kop ; Aart Middeldorp ; Thomas SternagelLogical methods in computer science, 2017-01, Vol.13, Issue 1 [Peer Reviewed Journal]Logical Methods in Computer Science e.VFull text available |
| 3 |
Material Type: Article
|
|
Confluence of Logically Constrained Rewrite Systems RevisitedSchöpf, Jonas ; Mitterwallner, Fabian ; Middeldorp, AartarXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgFull text available |
| 4 |
Material Type: Article
|
|
Left-Linear Completion with AC AxiomsNiederhauser, Johannes ; Hirokawa, Nao ; Middeldorp, Aart2024-05Full text available |
| 5 |
Material Type: Article
|
|
Polynomial Interpretations over the Natural, Rational and Real Numbers RevisitedNeurauter, Friedrich ; Middeldorp, AartLogical methods in computer science, 2014-09, Vol.10, Issue 3 [Peer Reviewed Journal]Logical Methods in Computer Science e.VFull text available |
| 6 |
Material Type: Article
|
|
Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)Schöpf, Jonas ; Middeldorp, AartarXiv.org, 2023-09Ithaca: Cornell University Library, arXiv.orgFull text available |
| 7 |
Material Type: Article
|
|
Linear Termination over N is UndecidableMitterwallner, Fabian ; Middeldorp, Aart ; Thiemann, RenéarXiv.org, 2023-07Ithaca: Cornell University Library, arXiv.orgFull text available |
| 8 |
Material Type: Article
|
|
Abstract Completion, FormalizedHirokawa, Nao ; Middeldorp, Aart ; Sternagel, Christian ; Winkler, SaraharXiv.org, 2019-08Ithaca: Cornell University Library, arXiv.orgFull text available |
| 9 |
Material Type: Article
|
|
CoCoWeb - A Convenient Web Interface for Confluence ToolsNagele, Julian ; Middeldorp, AartarXiv.org, 2017-08Ithaca: Cornell University Library, arXiv.orgFull text available |
| 10 |
Material Type: Article
|
|
Tools in Term Rewriting for EducationWinkler, Sarah ; Middeldorp, AartarXiv.org, 2020-02Ithaca: Cornell University Library, arXiv.orgFull text available |
Results 1 - 10 of 51 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
- Full Text Online (41)
- Peer-reviewed Journals (26)
Refine My Results
Resource Type
- Articles (31)
- Conference Proceedings (7)
- Books (6)
- Book Chapters (6)
- Text Resources (1)
-
More options
Subject
- Computer Science (30)
- Science & Technology (24)
- Technology (24)
- Computer Science - Logic In Computer Science (20)
- Term Rewriting (14)
- Computer Science, Theory & Methods (13)
- Artificial Intelligence (12)
- Computer Science, Artificial Intelligence (10)
- Logic (10)
- Mathematical Logic And Formal Languages (10)
- Science & Technology - Other Topics (9)
- Mathematical Logic And Foundations (9)
- Symbolic And Algebraic Manipulation (8)
- Mathematics (7)
- Applied Sciences (7)
- Exact Sciences And Technology (7)
- Computer Science; Control Theory; Systems (7)
- Complexity (6)
- Theoretical Computing (6)
- Termination (6)
-
More options
Creation Date
- Before2000 (4)
- 2000To2005 (9)
- 2006To2009 (6)
- 2010To2015 (16)
- After 2015 (18)
-
More options
Database/Library
- ROAD (18)
- arXiv.org (17)
- SpringerLINK Lecture Notes in Computer Science (2015) (16)
- Science Citation Index Expanded (Web of Science) (16)
- Lecture Notes in Computer Science Archive (through to 1996) (15)
- Open Access: Freely Accessible Journals by multiple vendors (15)
- Lippincott E Journal Collection (7)
- Springer Nature - Springer Journals All 2022 (7)
- SpringerLink (Online service) (7)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (6)
- EZB Electronic Journals Library (6)
- Springer Books (6)
- Springer Open Access (4)
- ACM Digital Library Complete (4)
- IngentaConnect Journals (3)
- SpringerLink Books Lecture Notes in Computer Science Archive (3)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (3)
- DOAJ Directory of Open Access Journals (3)
- Springer Books Online Archive (3)
- ScienceDirect® (2)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 