2. An automata-theoretic approach to linear temporal logic
Άρθρο Συνεδρίου uoadl:10577333. Characterization of the structures which admit effective enumerations
Άρθρο Συνεδρίου uoadl:10577604. On the power of automata based proof systems
Άρθρο Συνεδρίου uoadl:10577905. On two conjectures for polynomials
Άρθρο Συνεδρίου uoadl:10580536. Newton sum rules of the zeros of the co-recursive associated polynomials
Άρθρο Συνεδρίου uoadl:10580597. Κατάρτιση μοντέλου πάχους φλοιού δέντρου με εφαρμογή της ανάλυσης κυριών συνιστωσών
Άρθρο Συνεδρίου uoadl:10115018. Nullstellenbestimmung bei komplexen funktionen mit hilfe eines elektronisches analogrechners
Άρθρο Τιμητικής Έκδοσης uoadl:10343039. Incorporating homomorphic reduction into abstract interpretation
Άρθρο Συνεδρίου uoadl:104189110. The structure of sparse-resultant matrices
Άρθρο Συνεδρίου uoadl:104300411. Προς μια νέα προσέγγιση για τη συμπλήρωση και την κατάθεση της φορολογικής δήλωσης
Άρθρο Συνεδρίου uoadl:105439512. Ηλεκτρονικοί υπολογιστές και κατασκευές
Άρθρο Συνεδρίου uoadl:104493013. Ένα βασισμένο σε οντότητες μοντέλο δεδομένων και ο μαθηματικός του ορισμός
Άρθρο Συνεδρίου uoadl:103889914. Rough sets, fuzzy sets and join spaces
Άρθρο Τιμητικής Έκδοσης uoadl:103548815. Από τον υπολογιστή τσέπης στα multimedia
Άρθρο Συνεδρίου uoadl:1054585