zweidimensionales bewegtes Bild
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity: Q/A Session E - Paper E6.B
- Location
-
Hannover TIB
- Extent
-
85MB, 00:26:18:13 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)
- Event
-
Veröffentlichung
- (who)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (when)
-
2020-01-01
- Contributor
-
Grabmayer, Clemens
Fokkink, Wan
- DOI
-
10.5446/49315
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Grabmayer, Clemens
- Fokkink, Wan
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Time of origin
- 2020-01-01
Other Objects (12)
Proof complexity of Satisfiability Modulo Theories
Re-Discovering Python's Regular Expressions
Regular path expressions in feature logic
Simplifying regular expressions : A quantitative perspective
Regular path expressions in feature logic
Transformation Between Regular Expressions and omega-Automata
Mastering regular expressions : [Perl, NET, Java, and more]
![Qa- [Qa-]](https://iiif.deutsche-digitale-bibliothek.de/image/2/ad9b8567-c447-46da-a7ba-53b4975e74ba/full/!306,450/0/default.jpg)
Qa- [Qa-]
Java NIO : [regular expressions and high performance I/O]
On the optimization of queries containing regular path expressions
Sed & awk pocket reference : [text processing with regular expressions]
Tight bounds on the descriptional complexity of regular expressions
Proof complexity of Satisfiability Modulo Theories
Re-Discovering Python's Regular Expressions
Regular path expressions in feature logic
Simplifying regular expressions : A quantitative perspective
Regular path expressions in feature logic
Transformation Between Regular Expressions and omega-Automata
Mastering regular expressions : [Perl, NET, Java, and more]
Qa- [Qa-]
Java NIO : [regular expressions and high performance I/O]
On the optimization of queries containing regular path expressions
Sed & awk pocket reference : [text processing with regular expressions]
Tight bounds on the descriptional complexity of regular expressions
Proof complexity of Satisfiability Modulo Theories
Re-Discovering Python's Regular Expressions
Regular path expressions in feature logic
Simplifying regular expressions : A quantitative perspective
Regular path expressions in feature logic
Transformation Between Regular Expressions and omega-Automata
Mastering regular expressions : [Perl, NET, Java, and more]
Qa- [Qa-]
Java NIO : [regular expressions and high performance I/O]
On the optimization of queries containing regular path expressions
Sed & awk pocket reference : [text processing with regular expressions]