Összes letöltés a DEA-ból: 93
Ország | Letöltések |
---|---|
Egyesült Államok (US) | 47 |
Magyarország (HU) | 13 |
Vietnám (VN) | 4 |
Csehország (CZ) | 2 |
Németország (DE) | 2 |
Hong Kong SAR (Kínai Népköztársaság) (HK) | 2 |
Egyesült Arab Emírségek (AE) | 1 |
Kína (CN) | 1 |
Franciaország (FR) | 1 |
Egyesült Királyság (GB) | 1 |
Horvátország (HR) | 1 |
Hollandia (NL) | 1 |
Románia (RO) | 1 |
Oroszország (RU) | 1 |
Ukrajna (UA) | 1 |
n.a. | 14 |
Megjelenés | Publikáció | Fájlletöltések |
---|---|---|
2024 | Bagossy, A., Battyányi, P.: An encoding of the ?-calculus in the String MultiSet Rewriting calculus. Acta Inform. [Epub ahead of print] (-), 1-21, 2024. Teljes szöveg: https://hdl.handle.net/2437/367769 Folyóirat-mutatók:
Q3 Computer Networks and Communications (2022) Q3 Information Systems (2022) Q3 Software (2022) | Epub ahead of print: 19 |
2024 | Battyányi, P.: Solving the SAT problem with the string multiset rewriting calculus. Computing. [Epub ahead of print] 1-14, 2024. Teljes szöveg: https://hdl.handle.net/2437/366220 Folyóirat-mutatók:
Q2 Computational Mathematics (2022) Q2 Computational Theory and Mathematics (2022) Q2 Computer Science Applications (2022) Q2 Numerical Analysis (2022) Q2 Software (2022) Q2 Theoretical Computer Science (2022) | kiadói változat: 4 |
2023 | Battyányi, P., Karim, N.: Normalization in the simply typed lambda mu mu' rho theta epsilon-calculus. Math. Struct. Comput. Sci. 32 (8), 1066-1098, 2023. Teljes szöveg: https://hdl.handle.net/2437/349143 Folyóirat-mutatók:
Q2 Computer Science Applications (2022) Q2 Mathematics (miscellaneous) (2022) | kiadói változat: 8 |
2020 | Battyányi, P., Vaszil, G.: Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities. J. Membr. Comput. 2 (4), 341-354, 2020. Teljes szöveg: https://hdl.handle.net/2437/301435 | kiadói változat: 21 |
2020 | Battyányi, P., Karim, N.: Normalization proofs for the un-typed mu mu'-calculus. AIMS Math. 5 (4), 3702-3713, 2020. Teljes szöveg: https://hdl.handle.net/2437/308535 Folyóirat-mutatók:
Q3 Mathematics (miscellaneous) | kiadói változat: 21 |
2018 | Battyányi, P., Karim, N.: An estimation for the lengths of reduction sequences of the lambda mu rho theta-calculus. Log. Methods Comput. Sci. 14 (2), 1-35, 2018. Teljes szöveg: https://hdl.handle.net/2437/308539 Folyóirat-mutatók:
Q1 Computer Science (miscellaneous) Q2 Theoretical Computer Science | kiadói változat: 7 |
2017 | Battyányi, P., Karim, N.: Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi. Log. Methods Comput. Sci. 13 (3), 1-22, 2017. Teljes szöveg: https://hdl.handle.net/2437/270201 Folyóirat-mutatók:
Q2 Computer Science (miscellaneous) Q3 Theoretical Computer Science | Kiadói változat: 13 |