1.
Kurucz, Ádám ; Bereczky, Péter ; Horpácsi, Dániel
On a Dependently Typed Encoding of Matching Logic
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 427 pp. 3-23. , 21 p. (2025)
DOI Scopus Egyéb URL
Közlemény:36356575 Admin láttamozott Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[36356575] [Admin láttamozott]
2.
Kaposi, Ambrus ; Xie, Szumi
Type Theory with Single Substitutions
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 431 pp. 42-64. , 23 p. (2025)
DOI Egyéb URL
Közlemény:36393288 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[36393288] [Admin láttamozott]
3.
Bajczi, Levente ; Mondok, Milán ; Molnár, Vince
Theta as a Horn Solver
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 434 pp. 27-39. , 13 p. (2025)
DOI Kiadónál Scopus Egyéb URL Teljes dokumentum
Közlemény:36427979 Admin láttamozott Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[36427979] [Admin láttamozott]
4.
Dobos-Kovács, Mihály ; Bajczi, Levente ; Vörös, András
CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 434 pp. 40-51. , 12 p. (2025)
DOI Kiadónál Scopus Egyéb URL Teljes dokumentum
Közlemény:36429902 Admin láttamozott Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[36429902] [Admin láttamozott]
5.
Kurucz, Ádám ; Bereczky, Péter ; Horpácsi, Dániel
Unification in Matching Logic — Revisited
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 410 pp. 1-17. , 17 p. (2024)
DOI WoS Egyéb URL
Közlemény:35686138 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[35686138] [Egyeztetett]
6.
Wan, C.-S.
Semi-Substructural Logics à la Lambek
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 415 pp. 195-213. , 19 p. (2024)
DOI Scopus
Közlemény:35707166 Egyeztetett Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[35707166] [Egyeztetett]
7.
Adrián, Patrik ; Vaszil, György
A GLR-like Parsing Algorithm for Three-Valued Interpretations of Boolean Grammars with Strong Negation
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 407 pp. 27-43. , 17 p. (2024)
DOI WoS Scopus Egyéb URL
Közlemény:36090581 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[36090581] [Nyilvános]
8.
Omori, Hitoshi ✉ ; Arenhart, Jonas R. B.
A note on Grigoriev and Zaitsev's system CNL24
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE : 415 , 276 p. (2024)
DOI WoS
Közlemény:35840328 Egyeztetett Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos | Hibás
Konferenciaközlemény (Folyóiratcikk) | Tudományos[35840328] [Egyeztetett]
9.
Ouardi, Doha ; Barkallah, Manel ; Jacquet, Jean-Marie
The B2Scala Tool: Integrating Bach in Scala with Security in Mind
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 2024 : 414 pp. 58-76. , 19 p. (2024)
DOI WoS
Közlemény:35959814 Nyilvános Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[35959814] [Nyilvános]
10.
Capra, Lorenzo ✉ ; Gribaudo, Marco
Efficient Performance Analysis of Modular Rewritable Petri Nets
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE : 410 , 172 p. (2024)
DOI WoS
Közlemény:35889138 Egyeztetett Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[35889138] [Egyeztetett]
2025-12-08 08:50