Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination
PBN-AR
Instytucja
Wydział Matematyki, Informatyki i Mechaniki (Uniwersytet Warszawski)
Informacje podstawowe
Główny język publikacji
en
Czasopismo
FUNDAMENTA INFORMATICAE
ISSN
0169-2968
EISSN
Wydawca
IOS PRESS
DOI
URL
Rok publikacji
2013
Numer zeszytu
1-4
Strony od-do
135-149
Numer tomu
127
Link do pełnego tekstu
Identyfikator DOI
Liczba arkuszy
Autorzy
(liczba autorów: 2)
Cechy publikacji
ORIGINAL_ARTICLE
Inne
System-identifier
454722
CrossrefMetadata from Crossref logo
Cytowania
Liczba prac cytujących tę pracę
Brak danych
Referencje
Liczba prac cytowanych przez tę pracę
Brak danych