Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
1984 | 10.1007/BFb0030309 | MFCS |
Keywords | Field | DocType |
process logics,decidability results | Computation tree logic,T-norm fuzzy logics,Discrete mathematics,Algebra,Computer science,Boolean satisfiability problem,Decidability | Conference |
ISBN | Citations | PageRank |
3-540-13372-0 | 2 | 0.43 |
References | Authors | |
3 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Z. Habasinski | 1 | 2 | 1.10 |