Showing
1 - 3
results of
3
for search '
Ramakrishnan, C.R.
'
Skip to content
AUNILO IRDS | AUNILO Institutional Repository Discovery Service
FAQs
|
Search Tips
|
Feedback
Your Account
Log Out
Login
Theme
Bootstrap
Aunilo
Language
English
中文(繁體)
اللغة العربية
Toggle navigation
Home
Search/Browse Options
Search History
Advanced Search
About
About AUNILO IRDS
Content Sources
Statistics
Technical Team
Disclaimer
Privacy & Security Policy
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Ramakrishnan, C.R.
Showing
1 - 3
results of
3
for search '
Ramakrishnan, C.R.
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Unfold/fold transformations for automated verification of parameterized concurrent systems
by
Roychoudhury, A.
,
Ramakrishnan
,
C.R
.
Published 2013
Get full text
Article
Save to List
Saved in:
2
Beyond tamaki-sato style unfold/fold transformations for normal logic programs
by
Roychoudhury, A.
,
Narayan Kumar, K.
,
Ramakrishnan
,
C.R
.
,
Ramakrishnan, I.V.
Published 2014
Get full text
Conference or Workshop Item
Save to List
Saved in:
3
An unfold/fold transformation framework for definite logic programs
by
Roychoudhury, A.
,
Kumar, K.N.
,
Ramakrishnan
,
C.R
.
,
Ramakrishnan, I.V.
Published 2013
Get full text
Article
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
×
Loading...