Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

Uproszczony widok
cris.lastimport.scopus2024-02-12T20:42:52Z
dc.affiliationUniwersytet Warszawski
dc.conference.countryNiemcy
dc.conference.datefinish2020-07-11
dc.conference.datestart2020-07-08
dc.conference.placeSaarbrücken
dc.conference.seriesIEEE Symposium on Logic in Computer Science
dc.conference.seriesIEEE Symposium on Logic in Computer Science
dc.conference.seriesshortcutLICS
dc.conference.shortcutLICS 2020
dc.conference.weblinkhttps://lics.siglog.org/lics20/
dc.contributor.authorZeume, Thomas
dc.contributor.authorToruńczyk, Szymon
dc.date.accessioned2024-01-25T19:09:18Z
dc.date.available2024-01-25T19:09:18Z
dc.date.issued2020
dc.description.financePublikacja bezkosztowa
dc.identifier.doi10.1145/3373718.3394748
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/118192
dc.identifier.weblinkhttps://dl.acm.org/doi/pdf/10.1145/3373718.3394748
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.pages873--885
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleRegister Automata with Extrema Constraints, and an Application to Two-Variable Logic
dc.typeJournalArticle
dspace.entity.typePublication