한국어
LIBRARY
Communities & Collections
Researchers
Titles
Issue Date
Journals
검색
Search
All of ScholarWorks
공과대학
기계시스템학부
기초공학부
소프트웨어학부
화공생명공학부
1. Journal Articles
2. Conference Papers
3. Books & Book Chapters
4. Patents
5. Others
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Results 1-1 of 1 (Search time: 0.001 seconds).
Managing the granularity of constraint-based analyses by rule transformation
Go to Link
Chang, BM
Article
Issue Date
2002
Citation
INFORMATION PROCESSING LETTERS, v.83, no.2, pp 79 - 88
Publisher
ELSEVIER SCIENCE BV
1
Discover
Subject
rule transformation
1
set-based analysis
1
set-constraints
1
Date Issued
2002
1
Type
Article
1
Language
ENG
1
BROWSE
한국어
Communities & Collections
Researchers
Titles
Journals
LIBRARY