Összes letöltés a DEA-ból: 151
| Ország | Letöltések |
|---|---|
| Egyesült Államok (US) | 72 |
| Magyarország (HU) | 17 |
| Indonézia (ID) | 8 |
| Hong Kong SAR (Kínai Népköztársaság) (HK) | 4 |
| Szingapur (SG) | 4 |
| Vietnám (VN) | 4 |
| Németország (DE) | 3 |
| Oroszország (RU) | 3 |
| Kína (CN) | 2 |
| Csehország (CZ) | 2 |
| Franciaország (FR) | 2 |
| Egyesült Királyság (GB) | 2 |
| Egyesült Arab Emírségek (AE) | 1 |
| Argentína (AR) | 1 |
| Horvátország (HR) | 1 |
| Hollandia (NL) | 1 |
| Románia (RO) | 1 |
| Ukrajna (UA) | 1 |
| n.a. | 22 |
| 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 (2023) Q3 Information Systems (2023) Q3 Software (2023) | Epub ahead of print: 33 |
| 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:
Q1 Computational Mathematics (2023) Q1 Computational Theory and Mathematics (2023) Q1 Computer Science Applications (2023) Q1 Numerical Analysis (2023) Q2 Software (2023) Q2 Theoretical Computer Science (2023) | kiadói változat: 11 |
| 2022 | 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, 2022. Teljes szöveg: https://hdl.handle.net/2437/349143 Folyóirat-mutatók:
Q2 Computer Science Applications Q2 Mathematics (miscellaneous) | kiadói változat: 14 |
| 2022 | Battyányi, P.: On the power of boundary rule application in membrane computing. Nat. Comput. 22 (1), 13-25, 2022. Teljes szöveg: https://hdl.handle.net/2437/349133 Folyóirat-mutatók:
Q3 Computer Science Applications | Kiadói változat: 5 |
| 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: 25 |
| 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: 29 |
| 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: 13 |
| 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: 21 |