Praca doktorska
Miniatura
Pliki
0000-DR-251595-praca.pdf17.45 MB
outline.pdf89.83 KB
streszczenie (18).pdf91.59 KB
Licencja
FairUseKorzystanie z tego materiału możliwe jest zgodnie z właściwymi przepisami o dozwolonym użytku lub o innych wyjątkach przewidzianych w przepisach prawa. Korzystanie w szerszym zakresie wymaga uzyskania zgody uprawnionego.
 

The Single-Use Restriction for Register Automata and Transducers over Infinite Alphabets

Uproszczony widok
dc.affiliationUniwersytet Warszawski
dc.affiliation.departmentWydział Matematyki, Informatyki i Mechaniki
dc.contributor.authorStefański, Rafał
dc.date.accessioned2023-12-05T07:44:27Z
dc.date.available2023-12-05T07:44:27Z
dc.date.defence2023-12-15
dc.date.issued2023-12-05
dc.date.submitted2023-06
dc.description.additionalLink archiwalny https://depotuw.ceon.pl/handle/item/4817
dc.description.promoterBojańczyk, Mikołaj
dc.description.reviewerFigueira, Diego
dc.description.reviewerFiliot, Emmanuel
dc.description.reviewerMurawski, Andrzej
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/4817
dc.languageen
dc.language.isoen
dc.language.otherpl
dc.rightsFairUse
dc.subject.eninfinite alphabets
dc.subject.enregular languages
dc.subject.enautomata
dc.subject.entransducers
dc.subject.ensingle-use restriction
dc.subject.enrational functions on words
dc.subject.enregular functions
dc.subject.ennominal sets
dc.subject.ensets with atoms
dc.subject.enorbit-finite monoids
dc.subject.enmonoids
dc.subject.enlinear type systems
dc.subject.enlinear logic
dc.subject.enKrohn-Rhodes decompositions
dc.subject.enMealy machines
dc.subject.enregister automata
dc.subject.plautomaty rejestrowe
dc.subject.plautomaty Mealy’ego
dc.subject.pldekompozycje Krohna-Rhodesa
dc.subject.pllogika liniowa
dc.subject.plliniowe systemy typów
dc.subject.plmonoidy
dc.subject.plmonoidy skończenie orbitowe
dc.subject.plzbiory z atomami
dc.subject.plzbiory nominalne
dc.subject.plfunkcje regularne
dc.subject.plfunkcje wymierne na słowach
dc.subject.plwarunek jednorazowości
dc.subject.pltransduktory
dc.subject.plautomaty
dc.subject.pljęzyki regularne
dc.subject.plnieskończone alfabety
dc.titleThe Single-Use Restriction for Register Automata and Transducers over Infinite Alphabets
dc.title.alternativeWarunek jednorazowości dla automatów i transduktorów rejestrowych nad nieskończonymi alfabetami
dc.typeDoctoralThesis
dspace.entity.typePublication