Showing
1 - 4
results of
4
for search '
Bruggink, H.J.S.
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Bruggink, H.J.S.
Search Results
Showing
1 - 4
results of
4
for search '
Bruggink, H.J.S.
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Select result number 1
1
Proving termination of graph transformation systems using weighted type graphs over semirings
by
Bruggink
,
H.J
.S.
,
König, B.
,
Nolte, D.
,
Zantema, H.
Published 2015
Get access
Get access
Book
Select result number 2
2
Proving termination of graph transformation systems using weighted type graphs over semirings
by
Bruggink
,
H.J
.S.
,
König, B.
,
Nolte, D.
,
Zantema, H.
Published 2015
Get access
Get access
Other Non-Article Part of Journal/Newspaper
Select result number 3
3
Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings
by
Bruggink
,
H
.
J
. Sander
,
König, Barbara
,
Nolte, Dennis
,
Zantema, Hans
Published 2015
Get access
Get access
Report
Select result number 4
4
Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings
by
Bruggink
,
H
.
J
. Sander
,
König, Barbara
,
Nolte, Dennis
,
Zantema, Hans
Published 2015
Get access
Text
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
Computer Science - Formal Languages and Automata Theory
Computer Science - Logic in Computer Science
FOS Computer and information sciences
Formal Languages and Automata Theory cs.FL
Logic in Computer Science cs.LO
Loading...