Battyányi Gyula Péter

Az adatok frissességéről nyilatkozott: 2025-01-28

Debreceni Egyetem

Informatikai Tudományok Doktori Iskola

2019-04-02 –

Debreceni Egyetem

egyetemi oktató

Matematikai logika, újraíró rendszerek, nemhagyományos számítási modellek

matematika- és számítástudományok

publikációs lista az MTMT-ben
MTMT közlemény és idéző összefoglaló táblázat

aktuális témakiírások és összes témakiírás

Battyányi Péter: Solving the SAT problem with the string multiset rewriting calculus

COMPUTING 106: (5) pp. 1321-1334.

dokumentum típusa: Folyóiratcikk

nyelv: angol

Battyányi Péter, Nour Karim: Normalization in the simply typed λμμ′ρθε-calculus

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 32: (8) pp. 1066-1098.

dokumentum típusa: Folyóiratcikk

nyelv: angol

Battyányi Péter, Mihálydeák Tamás, Vaszil György: Rough-Set-Like Approximation Spaces for Formal Languages

JOURNAL OF AUTOMATA, LANGUAGES AND COMBINATORICS 27: (1-3) pp. 79-90.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 3

nyelv: angol

Battyányi Péter, Vaszil György: Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities

Journal of Membrane Computing 2: (4) pp. 341-354.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 6

nyelv: angol

B Aman, P Battyányi, G Ciobanu, Gy Vaszil: Local time membrane systems and time Petri nets

THEORETICAL COMPUTER SCIENCE 805: pp. 175-192.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 5

nyelv: angol

Battyányi Péter, Nour Karim: Normalization proofs for the un-typed μμ'-calculus

AIMS MATHEMATICS 5: (4) pp. 3702-3713.

dokumentum típusa: Folyóiratcikk

nyelv: angol

Battyányi P., Vaszil G.: Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application

In: Mihálydeák, Tamás; Min, Fan; Wang, Guoyin; Banerjee, Mohua; Düntsch, Ivo; Suraj, Zbigniew; Ciucci, Davide (szerk.) Rough Sets, Springer Netherlands (2019) pp. 239-252.

dokumentum típusa: Folyóiratcikk

nyelv: angol

Battyányi Péter, Nour Karim: An estimation for the lengths of reduction sequences of the lambda-mu-rho-theta-calculus

LOGICAL METHODS IN COMPUTER SCIENCE 14: (2) pp. 1-35.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 1

nyelv: angol

Péter Battyányi, Karim Nour: Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi

LOGICAL METHODS IN COMPUTER SCIENCE 13: (3) pp. 1-22.

dokumentum típusa: Folyóiratcikk

nyelv: angol

Aman B., Battyányi P., Ciobanu G., Vaszil Gy.: Simulating P systems with membrane dissolution in a chemical calculus

NATURAL COMPUTING 15: (4) pp. 521-532.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 2

nyelv: angol