Benutzerbeiträge von „Luisa Herrmann“

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)

18. Oktober 2024

14. Oktober 2024

4. September 2024

11. Juli 2024

9. Juli 2024

8. Juli 2024

2. Juli 2024

1. Juli 2024

  • 08:5008:50, 1. Jul. 2024 Unterschied Versionen +402 Bytes N Inproceedings3373Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann |FurtherAuthors=Johannes Osterholzer }} {{Inproceedings |Referiert=1 |Title=Non-Global Parikh Tree Automata |To appear=1 |Year=2024 |Booktitle=14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024) }} {{Publikation Details |Projekt=ScaDS.AI |Forschungsgruppe=Computational Logic }}“
  • 08:4708:47, 1. Jul. 2024 Unterschied Versionen +39 Bytes Inproceedings3383Keine Bearbeitungszusammenfassung

18. Juni 2024

12. Juni 2024

  • 15:0715:07, 12. Jun. 2024 Unterschied Versionen +31 Bytes N Inproceedings3383/enPage created automatically by parser function on page Inproceedings3383 aktuell Markierung: Neue Weiterleitung
  • 15:0715:07, 12. Jun. 2024 Unterschied Versionen +394 Bytes N Inproceedings3383Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann |FurtherAuthors=Richard Mörbitz }} {{Inproceedings |Referiert=1 |Title=Global One-Counter Tree Automata |To appear=1 |Year=2024 |Booktitle=28th International Conference on Implementation and Application of Automata (CIAA 2024) }} {{Publikation Details |Projekt=ScaDS.AI |Forschungsgruppe=Computational Logic }}“

29. Februar 2024

16. Januar 2024

2. September 2022

(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)
alle
(Seiten)
Diskussion
Benutzer
Benutzer Diskussion
ICCL
ICCL Diskussion
Datei
Datei Diskussion
MediaWiki
MediaWiki Diskussion
Vorlage
Vorlage Diskussion
Hilfe
Hilfe Diskussion
Kategorie
Kategorie Diskussion
Attribut
Attribut Diskussion
Formular
Formular Diskussion
Konzept
Konzept Diskussion
SMW/Schema
SMW/Schema Diskussion
Rule
Rule talk
Intern
Intern Diskussion
GeoJson
GeoJson talk
Ersetzt
Geleert
Manuelle Zurücksetzung
Neue Weiterleitung
Rückgängigmachung
Weiterleitung entfernt
Weiterleitungsziel geändert
Zurückgesetzt
Zurücksetzung