Hungarian

Items where Author is " Erdélyi Gáspár"

[up]

Group by: Item Type | No Grouping

Jump to: Conference or Workshop Item

Number of items: 1.

Conference or Workshop Item

Erdélyi Gáspár: Towards a unified model of computation with correctness proofs.

This list was generated on 2023. június 9. 13:35:20 CEST.

Bielefeld Academic Search Engine

MTMT Minősített Repozitórium

Technical information: contenta AT ek.szte.hu
Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.