Simon Wolfsteiner

Orcid: 0000-0003-0459-8487

According to our database1, Simon Wolfsteiner authored at least 6 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
On Minimizing Regular Expressions Without Kleene Star.
Electron. Colloquium Comput. Complex., 2020

2019
On the cover complexity of finite languages.
Theor. Comput. Sci., 2019

2018
On Minimal Grammar Problems for Finite Languages.
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

On the Grammatical Complexity of Finite Languages.
Proceedings of the Descriptional Complexity of Formal Systems, 2018

2017
Ceres in intuitionistic logic.
Ann. Pure Appl. Log., 2017

2016
System Description: GAPT 2.0.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016


  Loading...