Összes letöltés a DEA-ból: 93
country | downloads |
---|---|
United States (US) | 47 |
Hungary (HU) | 13 |
Vietnam (VN) | 4 |
Czech Republic (CZ) | 2 |
Germany (DE) | 2 |
Hong Kong S.A.R., China (HK) | 2 |
United Arab Emirates (AE) | 1 |
China (CN) | 1 |
France (FR) | 1 |
United Kingdom (GB) | 1 |
Croatia (HR) | 1 |
Netherlands (NL) | 1 |
Romania (RO) | 1 |
Russia (RU) | 1 |
Ukraine (UA) | 1 |
n.a. | 14 |
Megjelenés | Publication | 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: 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:
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: 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:
Q3 Computer Science Applications Q2 Mathematics (miscellaneous) | 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 |