Search

Browse

• Communities
• Authors
• Year
• Titles
• Subjects

My Space

• Login

Browse by Author.

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

---

Results

	1-1 from 1 Results - Alviano, Mario
1	M. Alviano, S. Batsakis, and G. Baryannis, “Modal logic S5 satisfiability in answer set programming,” Theory Pract. Logic Program., vol. 21, no. 5, pp. 527–542, Sep. 2021, doi: 10.1017/S1471068421000247.	2022-10-04