부산대학교 도서관
검색
Total
Catalog
e-Article
e-Journal
Database
e-Book
Proxy
OFF
Login
Community
Notice & Event
Inquiry Bulletin Board
FAQ
Phone/E-mail Inquiry
Schedule
KOR
Login
Search
Total Search
Catalog
e-Article
e-Journal
Database
e-Book
e-Learning
Collection
Popular
New Arrival
Reading Books
Theme Books
PNU Repository
Newsletter
Research
Research Support Service
Thesis Writing Support
Research Info Guide
Education
Textbook
Using Resources
Circulation
Purchase Request
Interlibrary Borrow
Provide Fulltext
FRIC
Cooperative Org
Delivery Service
SDI
Off-campus Access
Using Facilities
Opening Hours
User-specific Guidelines
Reading Room
Group Study Room
Media Production Room
PC/Wi-Fi/Mobile
Print/Copy/Scan
Introduction
Mission&Vision
Former Dean
History
Organization
Statistics
Regulation/Operation rules
Direction
Community
Notice & Event
Q&A
FAQ
Phone/E-mail Inquiry
Schedule
My Library
My collection
Borrowed Books
Overdue / Sanction
Reservation
Interlibrary Borrow
Education
Change Information
전체메뉴 열기
Please log in
부산대학교 도서관
Search
Total Search
Catalog
e-Article
e-Journal
Database
e-Book
e-Learning
Collection
Popular
New Arrival
Reading Books
Theme Books
PNU Repository
Newsletter
Research
Research Support Service
Thesis Writing Support
Research Info Guide
Education
Textbook
Using Resources
Circulation
Purchase Request
Interlibrary Borrow
Provide Fulltext
FRIC
Cooperative Org
Delivery Service
SDI
Off-campus Access
Using Facilities
Opening Hours
User-specific Guidelines
Reading Room
Group Study Room
Media Production Room
PC/Wi-Fi/Mobile
Print/Copy/Scan
Introduction
Mission&Vision
Former Dean
History
Organization
Statistics
Regulation/Operation rules
Direction
Community
Notice & Event
Q&A
FAQ
Phone/E-mail Inquiry
Schedule
My Library
My collection
Borrowed Books
Overdue / Sanction
Reservation
Interlibrary Borrow
Education
Change Information
clear
Proxy
OFF
KOR
Home
Total Search
e-Article
e-Article
arrow_drop_down
Search All
ISSN
Article Title
Journal Title
Author/Creator
Languages
Advanced Search
Hiragana
Katakana
German, French, Spanish
Greece
Latin
Russian
Roman
Old Hangul
Unit Symbol
Math Symbol
Thai
Mongolian
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
あ
a
ぁ
か
ka
が
ga
さ
sa
ざ
za
た
ta
だ
da
な
na
は
ha
ば
ba
ぱ
pa
ま
ma
や
ya
ゃ
lya
ら
ra
わ
wa
ゎ
lwa
ん
n
l
い
i
ぃ
き
ki
ぎ
gi
し
si
じ
zi
ち
ti
ぢ
di
に
ni
ひ
hi
び
bi
ぴ
pi
み
mi
り
ri
ㅜ
う
u
ぅ
く
ku
ぐ
gu
す
su
ず
zu
つ
tu
づ
du
っ
ぬ
nu
ふ
hu
ぶ
bu
ぷ
pu
む
mu
ゆ
yu
ゅ
lyu
る
ru
ㅔ
え
e
ぇ
け
ke
げ
ge
せ
se
ぜ
ze
て
te
で
de
ね
ne
へ
he
べ
be
ぺ
pe
め
me
れ
re
ㅗ
お
o
ぉ
こ
ko
ご
go
そ
so
ぞ
zo
と
to
ど
do
の
no
ほ
ho
ぼ
bo
ぽ
po
も
mo
よ
yo
ょ
lyo
ろ
ro
を
wo
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
ア
a
ァ
カ
ka
ガ
ga
サ
sa
ザ
za
タ
ta
ダ
da
ナ
na
ハ
ha
バ
ba
パ
pa
マ
ma
ヤ
ya
ャ
lya
ラ
ra
ワ
wa
ヮ
lwa
ン
n
l
イ
i
ィ
キ
ki
ギ
gi
シ
si
ジ
zi
チ
ti
ヂ
di
ニ
ni
ヒ
hi
ビ
bi
ピ
pi
ミ
mi
リ
ri
ㅜ
ウ
u
ゥ
ク
ku
グ
gu
ス
su
ズ
zu
ツ
tu
ヅ
du
ッ
ヌ
nu
フ
hu
ブ
bu
プ
pu
ム
mu
ユ
yu
ュ
lyu
ル
ru
ヴ
vu
ㅔ
エ
e
ェ
ケ
ke
ゲ
ge
セ
se
ゼ
ze
テ
te
デ
de
ネ
ne
ヘ
he
ベ
be
ぺ
pe
メ
me
レ
re
ㅗ
オ
o
ォ
コ
ko
ゴ
go
ソ
so
ゾ
zo
ト
to
ド
do
ノ
no
ホ
ho
ボ
bo
ポ
po
モ
mo
ヨ
yo
ョ
lyo
ロ
ro
ヲ
wo
ー
ー
독일어
ä
Ä
ö
Ö
ü
Ü
ß
프랑스어
á
à
Á
À
é
è
É
È
ç
Ç
ê
스페인어
à
á
Á
é
É
í
Í
Ó
ó
Ú
ú
Ñ
ñ
ä
Ä
Α
Β
Γ
Δ
Ε
Ζ
Η
Θ
Ι
Κ
Λ
Μ
Ν
Ξ
Ο
Π
Ρ
Σ
Τ
Υ
Φ
Χ
Ψ
Ω
α
β
γ
δ
ε
ζ
η
θ
ι
κ
λ
μ
ν
ξ
ο
π
ρ
ς
σ
τ
υ
φ
χ
ψ
ω
À
Á
Â
Ã
Ä
Å
Æ
Ç
È
É
Ê
Ë
Ì
Í
Î
Ï
Ð
Ñ
Ò
Ó
Ô
Õ
Ö
Ø
Ù
Ú
Û
Ü
Ý
Þ
ß
à
á
â
ã
ä
å
æ
ç
è
é
ê
ë
ì
í
î
ï
ð
ñ
ò
ó
ô
õ
ö
ø
ù
ú
û
ü
ý
þ
ÿ
А
Б
В
Г
Д
Е
Ё
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
а
б
в
г
д
е
ё
ж
з
и
й
к
л
м
н
о
п
р
с
т
у
ф
х
ц
ч
ш
щ
ъ
ы
ь
э
ю
я
ⅰ
ⅱ
ⅲ
ⅳ
ⅴ
ⅵ
ⅶ
ⅷ
ⅸ
ⅹ
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
ㅥ
ㅦ
ㅧ
ㅨ
ㅩ
ㅪ
ㅫ
ㅬ
ㅭ
ㅮ
ㅯ
ㅰ
ㅱ
ㅲ
ㅳ
ㅴ
ㅵ
ㅶ
ㅷ
ㅸ
ㅹ
ㅺ
ㅻ
ㅼ
ㅽ
ㅾ
ㅿ
ㆀ
ㆁ
ㆂ
ㆃ
ㆄ
ㆅ
ㆆ
ㆇ
ㆈ
ㆉ
ㆊ
ㆋ
ㆌ
ㆍ
ㆎ
′
″
℃
Å
¢
£
¥
¤
℉
‰
$
%
F
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
Publication date
-
(ex : 2010-2015)
'e-Article'
searched
223
results | List
1~10
Select All
Export
Relevance
arrow_drop_down
Relevance
DateNewest
Date Oldest
10
arrow_drop_down
5
10
20
30
40
50
format_list_bulleted
format_list_bulleted
E-mail
EndNote
RefWorks
El papel de la violencia: una revisión a la obra de Marx, Engels y LeninThe role of violence: a revision of the work of Marx, Engels and Lenin
Correa Jiménez, Luisa Fernanda
;
Escobar, Santiago
;
Gallego Pulgarín, Camilo
Open Access (Europeana)
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
Open Access (Europeana)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
El papel de la violencia: una revisión a la obra de Marx, Engels y Lenin
Correa Jiménez, Luisa Fernanda
;
Escobar, Santiago
;
Gallego Pulgarín, Camilo
Revista Kavilando, 9(2)
Revista Kavilando, 9 (2)
Open Access (Europeana)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Política exterior en el Chile post concertación
Open Access (Europeana)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Chile in concert
Chile en la concertación
Open Access (Europeana)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
La seguridad ciudadana como polı́tica de estado
Open Access (Europeana)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Seguridad pública en los países del Cono Sur
Public security in the countries of the Southern Cone
Open Access (Europeana)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Polı́ticas de seguridad ciudadana y comunicación
Open Access (Europeana)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
Chiba, Yuki
;
Escobar, Santiago
;
Nishida, Naoki
;
Sabel, David
;
Schmidt-Schauß, Manfred
Open Access (Europeana)
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis
Academic Journal
López-Rueda, Raúl
;
Escobar, Santiago
;
Sapiña, Julia
In
Journal of Logical and Algebraic Methods in Programming
October 2023 135
Full Text (ScienceDirect 종량제)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
1
2
3
4
…
17
18
19
20
Next
Refining the search results
arrow_forward
Facets
[AR] Escobar, Santiago
clear
Publication year
-
Refine
Database provider
MathSciNet via EBSCOhost
(54)
Complementary Index
(39)
Supplemental Index
(25)
Science Citation Index Expanded
(21)
arXiv
(19)
ScienceDirect
(19)
Academic Search Complete
(11)
Gale Academic OneFile
(10)
Europeana
(9)
ACM Full-Text Collection
(6)
IEEE Xplore Digital Library
(3)
Business Source Complete
(3)
JSTOR Journals
(2)
Springer Nature Journals
(1)
SSOAR – Social Science Open Access Repository
(1)
add
remove
More
zoom_in
Refine
Title
journal of logical and algebraic methods in programming
(17)
electronic notes in theoretical computer science
(15)
entcs: electronic notes in theoretical computer science
(14)
theoretical computer science
(12)
information and computation
(9)
rewriting logic and its applications
(6)
theory and practice of logic programming
(6)
annals of mathematics and artificial intelligence
(4)
fundamenta informaticae
(4)
logic-based program synthesis and transformation
(4)
ai communications
(3)
information & computation
(3)
logic journal of the igpl
(3)
peerj computer science
(3)
annals of mathematics & artificial intelligence
(2)
ecology
(2)
iet information security
(2)
journal of logic and algebraic programming
(2)
nova: publicacion cientifica en ciencias biomedicas
(2)
rewriting techniques & applications (9783540705888)
(2)
science of computer programming
(2)
the lancet regional health - americas
(2)
theory & practice of logic programming
(2)
workshop on formal methods in security engineering
(2)
world journal of surgery
(2)
2008 6th acm/ieee international conference on formal methods and models for co-design, formal methods and models for co-design, 2008. memocode 2008. 6th acm/ieee international conference on
(1)
2010 12th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2010 12th international symposium on
(1)
2023 jnic cybersecurity conference (jnic), cybersecurity conference (jnic), 2023 jnic
(1)
acm international conference proceeding series
(1)
automated deduction - cade-24
(1)
automated reasoning (9783319402284)
(1)
computer security - esorics 2008
(1)
computer security - esorics 2010
(1)
computer security - esorics 2012
(1)
estudios internacionales
(1)
formal methods for components & objects (9783642170706)
(1)
formal methods for industrial critical systems
(1)
formal methods for industrial critical systems (9783642032394)
(1)
information system development
(1)
journal of accounting & finance (2158-3625)
(1)
journal of manufacturing & materials processing
(1)
logic, rewriting & concurrency
(1)
logic-based program synthesis & transformation (9783642005145)
(1)
logics in artificial intelligence: 14th european conference, jelia 2014, funchal, madeira, portugal, september 24-26, 2014. proceedings
(1)
proceedings of the 13th international acm sigplan symposium on principles and practices of declarative programming
(1)
proceedings of the 16th international symposium on principles and practice of declarative programming
(1)
proceedings of the 18th international symposium on principles and practice of declarative programming
(1)
proceedings of the 2005 acm workshop on formal methods in security engineering
(1)
proceedings of the 2014 symposium and bootcamp on the science of security
(1)
proceedings of the 5th acm sigplan international conference on principles and practice of declaritive programming
(1)
add
remove
More
zoom_in
Refine
Publisher
elsevier b.v.
(38)
springer nature
(26)
springer, cham
(15)
springer, berlin
(9)
association for computing machinery
(6)
elsevier inc.
(6)
ios press
(6)
elsevier science inc
(5)
academic press inc elsevier science
(3)
academic press inc.
(3)
elsevier science bv
(3)
vibration institute
(3)
cambridge univ press
(2)
cambridge university press
(2)
eptcs, [place of publication not identified]
(2)
ieee
(2)
oxford university press / usa
(2)
peerj inc.
(2)
springer
(2)
springer, heidelberg
(2)
universidad colegio mayor de cundinamarca
(2)
atlanttic
(1)
elsevier ltd
(1)
hindawi limited
(1)
ieee-inst electrical electronics engineers inc
(1)
kavilando
(1)
mdpi
(1)
misc
(1)
north american business press inc.
(1)
oxford univ press
(1)
peerj inc
(1)
schloss dagstuhl - leibniz-zentrum fur informatik gmbh
(1)
schloss dagstuhl. leibniz-zent. inform., wadern
(1)
soc medica santiago
(1)
springer international publishing
(1)
springer, [cham]
(1)
wiley
(1)
wiley-hindawi
(1)
add
remove
More
zoom_in
Refine
자료유형(Source Type)
Academic Journals
(101)
Reviews
(54)
Conference Materials
(45)
Books
(23)
Reports
(19)
Magazines
(7)
add
remove
More
zoom_in
Refine
Subject
rewriting logic
(17)
computer science - logic in computer science
(15)
maude
(13)
computer science - programming languages
(12)
algorithms
(11)
computer science
(10)
narrowing
(10)
axioms
(6)
computer science - cryptography and security
(6)
programming languages
(6)
termination
(6)
unification
(6)
commutativity
(5)
computer programming
(5)
logic
(5)
logic programming
(5)
model checking
(5)
security
(5)
algorithm
(4)
associativity
(4)
computer algorithms
(4)
computer network protocols
(4)
cryptography
(4)
equational unification
(4)
equations
(4)
formal verification
(4)
identity
(4)
rewriting systems (computer science)
(4)
semantics
(4)
68n17
(3)
68q42
(3)
68q60
(3)
68t20
(3)
68w30
(3)
algebra
(3)
computing and processing
(3)
cryptographic protocol analysis
(3)
declarative programming
(3)
functional programming (computer science)
(3)
mathematical analysis
(3)
mathematical proofs
(3)
mathematics
(3)
modularity
(3)
partial evaluation
(3)
program transformation
(3)
protocol verification
(3)
reflection
(3)
systems
(3)
analytical instruments
(2)
artificial intelligence (incl. robotics)
(2)
add
remove
More
zoom_in
Refine
Language
english
(182)
german
(7)
spanish
(4)
spanish; castilian
(3)
add
remove
More
zoom_in
Refine
Send an e-mail
이메일
Cancel
Confirm
Close pop-up
폴더 추가
Close pop-up