Βασίλα, Μ. Γ., & Κολέτσος, Γ. Γραμμική λογική, δίκτυα αποδείξεων και επέκταση στο υπολογιστικό μοντέλο των δικτύων αλληλεπιδράσεων =: Linear logic, proof-nets and extension to the computational model of interaction nets.
Παραπομπή Chicago StyleΒασίλα, Μαγδαληνή Γ., and Γεώργιος Κολέτσος. Γραμμική λογική, δίκτυα αποδείξεων και επέκταση στο υπολογιστικό μοντέλο των δικτύων αλληλεπιδράσεων =: Linear Logic, Proof-nets and Extension to the Computational Model of Interaction Nets.
Παραπομπή MLAΒασίλα, Μαγδαληνή Γ., and Γεώργιος Κολέτσος. Γραμμική λογική, δίκτυα αποδείξεων και επέκταση στο υπολογιστικό μοντέλο των δικτύων αλληλεπιδράσεων =: Linear Logic, Proof-nets and Extension to the Computational Model of Interaction Nets.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.