Showing
1 - 2
results of
2
for search '
"Equational logic and rewriting"
'
Skip to search
Skip to content
Skip to refine my results
Toggle navigation
View Book Bag:
0
items
(Full)
My Account
Log Out
My Account
de
Deutsch
Books & more
Currently selected:
All
All Fields
Title
Author
Subject
UDK
ISBN / ISSN
Barcode / Call number
Tag
Find
Search: "Equational logic and rewriting"
Search Results
Refine Results
Showing
1 - 2
results of
2
for search '
"Equational logic and rewriting"
'
, Query Time: 0.77s
Results per Page
10
20
40
60
Sorted by
Relevance
Date Descending
Date Ascending
Person / Institution
Title
Total number: 2
1
online resource
Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming
(2021)
by
Samanta, Roopsha
, 2021
E-Book
Conference Proceedings
Loading ...
Online
lizenzpflichtig, Verlag
Saved in:
2
online resource
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
(2019)
by
Hermenegildo, Manuel
, 2019
E-Book
Loading ...
Online
Verlag
Lizenzpflichtig, Verlag
Saved in:
Search Tools:
Get RSS Feed
—
E-Mail this Search
—
Save Search
Back
Refine my Results
Access
Electronic Resources
(Page will refresh when filter 'Electronic Resources' is selected)
2
results
Format
Book, E-Book
(Page will refresh when filter 'Book, E-Book' is selected)
2
results
Subject (RVK)
not assigned
(Page will refresh when filter 'not assigned' is selected)
2
results
Keyword
Computer science
(Page will refresh when filter 'Computer science' is selected)
2
results
Domain specific languages
(Page will refresh when filter 'Domain specific languages' is selected)
2
results
Equational logic and rewriting
(Page will refresh when filter 'Equational logic and rewriting' is selected)
2
results
Functional languages
(Page will refresh when filter 'Functional languages' is selected)
1
results
Konferenzschrift
(Page will refresh when filter 'Konferenzschrift' is selected)
1
results
Neural networks
(Page will refresh when filter 'Neural networks' is selected)
1
results
Year of Publication
From:
To:
Language
English
(Page will refresh when filter 'English' is selected)
2
results
Geographical Reference
not assigned
(Page will refresh when filter 'not assigned' is selected)
2
results
Collection
Verbunddaten SWB
(Page will refresh when filter 'Verbunddaten SWB' is selected)
2
results
Author
ACM Special Interest Group on Programming Languages
(Page will refresh when filter 'ACM Special Interest Group on Programming Languages' is selected)
2
results
ACM Special Interest Group on Algorithms and Computation Theory
(Page will refresh when filter 'ACM Special Interest Group on Algorithms and Computation Theory' is selected)
1
results
ACM Special Interest Group on Logic and Computation
(Page will refresh when filter 'ACM Special Interest Group on Logic and Computation' is selected)
1
results
Association for Computing Machinery-Digital Library
(Page will refresh when filter 'Association for Computing Machinery-Digital Library' is selected)
1
results
Hermenegildo, Manuel
(Page will refresh when filter 'Hermenegildo, Manuel' is selected)
1
results
Samanta, Roopsha
(Page will refresh when filter 'Samanta, Roopsha' is selected)
1
results
This is a dialog window which overlays the main content of the page. Pressing the Escape key or the Close Dialog Window button will close the modal and bring you back to where you were on the page.
Loading ...
