Open Access System for Information Sharing
All
Title
Author
Subject
Login
Library
Help
검색
HOME
Communities & Collections
Researchers
Title
OASIS Repository@POSTECHLIBRARY
Search Result
Search:
OASIS
Department of Computer Science & Engineering (컴퓨터공학과)
1. Journal Papers
for
Applied search limites :
Title
Type
Author
Subject
Date Issued
Journal
Journal Registered
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Applied search limites :
Title
Type
Author
Subject
Date Issued
Journal
Journal Registered
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Use filters to refine the search results.
Title
Type
Author
Subject
Date Issued
Journal
Journal Registered
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 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).
Item hits:
Article
Symbolic state space reduction with guarded terms for rewriting modulo SMT
SCIE
SCOPUS
SCIENCE OF COMPUTER PROGRAMMING, vol. 178, page. 20 - 42, 2019-06
Bae, K.
;
Rocha, C.
1
Discover
Subject
CASH scheduling algorithm
1
Infinite state systems
1
Rewriting logic
1
Rewriting modulo
1
Rewriting modulo SMT
1
Scheduling algorithms
1
State space reduction
1
State-space reduction
1
Symbolic reachability analysis
1
Symbolic state space
1
next >
Date issued
2019
1
Journal
SCIENCE OF COMPUTER PROGRAMMING
1
Type
Article
1
Journal Registered
scie
1
scopus
1
Browse
Communities & Collections
Researcher
Title
Login
Library
Help