Aharon Abadi

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv: Decidable Fragments of Many-Sorted Logic. LPAR 2007: 17-31

2007
1	EE	Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv: Decidable Fragments of Many-Sorted Logic. LPAR 2007: 17-31

Coauthor Index

1 Alexander Moshe Rabinovich (Alexander Rabinovich) [1]

2 Shmuel Sagiv (Mooly Sagiv) [1]

1	Alexander Moshe Rabinovich (Alexander Rabinovich)	[1]
2	Shmuel Sagiv (Mooly Sagiv)	[1]