부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
교내접속
OFF
로그인
커뮤니티
공지 및 행사
게시판문의
자주묻는질문
전화/이메일 문의
도서관 일정
영문 바로가기
로그인
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
전체메뉴 열기
로그인하세요
부산대학교 도서관
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
clear
교내접속
OFF
영문 바로가기
Home
통합검색
학술논문
학술논문
arrow_drop_down
통합검색
ISSN
논문명
저널명
저자명
다국어
세부검색
히라가나
가타가나
독일,프랑스,스페인
그리스
라틴
러시아
로마자
한글고어
단위기호
학술기호
타이어
몽골어
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
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
발행년
-
(예 : 2010-2015)
'학술논문'
에서 검색결과
172
건 | 목록
1~10
전체선택
내보내기
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
Multiobjective Optimization and Language Equations
Reitwießner, Christian
;
Equestrian, Christian
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Multiobjective Traveling Salesman Problems and Redundancy of Complete Sets
Witek, Maximilian
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Multiobjective Optimization and Language Equations
Glaßer, Christian
;
Reitwießner, Christian
Open Access (Europeana)
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Multiobjective Traveling Salesman Problems and Redundancy of Complete Sets
Glaßer, Christian
;
Witek, Maximilian
Open Access (Europeana)
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
An Oracle with no $\mathrm{UP}$-Complete Sets, but $\mathrm{NP}=\mathrm{PSPACE}$
Report
Dingel, David
;
Egidy, Fabian
;
Glaßer, Christian
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP
Report
Egidy, Fabian
;
Glaßer, Christian
;
Herold, Martin
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Autoreducibility and mitoticity of logspace-complete sets for NP and other classes
Academic Journal
Glaßer, Christian
;
Witek, Maximilian
In
Information and Computation
October 2017 256:93-107
Full Text (ScienceDirect 종량제)
Full Text (ScienceDirect O/A)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Oracle with $\mathrm{P=NP\cap coNP}$, but no Many-One Completeness in UP, DisjNP, and DisjCoNP
Report
Ehrmanntraut, Anton
;
Egidy, Fabian
;
Glaßer, Christian
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
The fault tolerance of NP-hard problems
Academic Journal
Glaßer, Christian
;
Pavan, A.
;
Travers, Stephen
In
Information and Computation
March 2011 209(3):443-455
Full Text (ScienceDirect 종량제)
Full Text (ScienceDirect O/A)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
The shrinking property for NP and coNP
Academic Journal
Glaßer, Christian
;
Reitwießner, Christian
;
Selivanov, Victor
In
Theoretical Computer Science
2011 412(8):853-864
Full Text (ScienceDirect 종량제)
Full Text (ScienceDirect O/A)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
1
2
3
4
…
15
16
17
18
다음
검색 결과 제한하기
arrow_forward
제한된 항목
[AR] Glaßer, Christian
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
MathSciNet via EBSCOhost
(65)
Academic Search Complete
(23)
Complementary Index
(19)
Science Citation Index Expanded
(19)
Supplemental Index
(11)
arXiv
(9)
Business Source Complete
(6)
ScienceDirect
(6)
Europeana
(4)
ACM Full-Text Collection
(3)
Springer Nature Journals
(3)
Gale Academic OneFile
(2)
SwePub
(2)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
theoretical computer science
(24)
theory of computing systems
(19)
journal of computer and system sciences
(11)
siam journal on computing
(11)
information and computation
(8)
journal of computer & system sciences
(6)
acm sigact news
(5)
international journal of foundations of computer science
(5)
mathematical foundations of computer science 2005
(4)
discrete applied mathematics
(3)
information & computation
(3)
algorithms and computation
(2)
computing and combinatorics
(2)
discrete applied mathematics. the journal of combinatorial algorithms, informatics and computational sciences
(2)
fsttcs 2007: foundations of software technology & theoretical computer science
(2)
fsttcs 2007: foundations of software technology and theoretical computer science
(2)
latin 2012: theoretical informatics
(2)
mathematical foundations of computer science 2004
(2)
mathematical foundations of computer science 2006
(2)
pursuit of the universal
(2)
stacs 2005
(2)
stacs 2006
(2)
stacs 2007
(2)
workshop on discrete algothrithms & methods for mobile computing & communications
(2)
31st international conference on foundations of software technology and theoretical computer science
(1)
37th international symposium on theoretical aspects of computer science
(1)
42nd international symposium on mathematical foundations of computer science
(1)
47th international symposium on mathematical foundations of computer science
(1)
48th international symposium on mathematical foundations of computer science
(1)
acm transactions on computation theory
(1)
acm transactions on computation theory (toct)
(1)
aspects of computation and automata theory with applications
(1)
automata, languages & programming (9783642392054)
(1)
automata, languages, and programming. part i
(1)
computability & complexity
(1)
computability and complexity
(1)
computer science - theory & applications (9783540745099)
(1)
computing & combinatorics (9783540735441)
(1)
developments in language theory
(1)
developments in language theory (9783540354284)
(1)
developments in language theory (vienna, 2001)
(1)
fst tcs 2000: foundations of software technology and theoretical computer science (new delhi)
(1)
j.ucs. journal of universal computer science
(1)
journal of automata, languages and combinatorics
(1)
language and automata theory and applications
(1)
mathematical foundations of computer science 2014: 39th international symposium, mfcs 2014, budapest, hungary, august 25-29, 2014. proceedings, part ii
(1)
proceedings of the 5th international workshop on discrete algorithms and methods for mobile computing and communications
(1)
stacs 2000
(1)
theoretical computer science (9783540328803)
(1)
theory & applications of models of computation
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
springer nature
(28)
springer, berlin
(23)
elsevier b.v.
(11)
academic press inc.
(9)
academic press inc elsevier science
(7)
schloss dagstuhl. leibniz-zent. inform., wadern
(6)
society for industrial & applied mathematics
(6)
elsevier science bv
(5)
springer
(4)
springer, heidelberg
(4)
elsevier inc.
(3)
springer-verlag
(3)
world scientific publishing company
(3)
acm
(2)
association for computing machinery
(2)
elsevier
(2)
siam publications
(2)
springer, [cham]
(1)
springer, cham
(1)
universitatsbibliothek der universitat wurzburg
(1)
world sci. publ., hackensack, nj
(1)
world scientific publ co pte ltd
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Academic Journals
(96)
Reviews
(65)
Conference Materials
(39)
Books
(19)
Reports
(9)
Magazines
(3)
add
remove
더보기
zoom_in
재검색
주제어
computational complexity
(35)
computer science
(14)
algorithm analysis and problem complexity
(11)
np-complete problems
(11)
polynomials
(11)
algorithms
(10)
computation by abstract devices
(10)
discrete mathematics in computer science
(10)
computer science - computational complexity
(8)
logics and meanings of programs
(8)
set theory
(8)
autoreducibility
(7)
boolean algebra
(7)
complexity
(7)
decidability
(7)
data structures
(6)
statistical matching
(6)
complexity classes
(5)
disjoint np-pairs
(5)
mathematical logic and formal languages
(5)
propositional proof systems
(5)
decidability (mathematical logic)
(4)
immunity
(4)
mathematical analysis
(4)
mathematical logic
(4)
natural numbers
(4)
polynomial time algorithms
(4)
propositional calculus
(4)
symmetry
(4)
automation
(3)
canonical correlation (statistics)
(3)
complete-sets
(3)
computable functions
(3)
computational mathematics
(3)
computer logic
(3)
computer science - data structures and algorithms
(3)
computer systems
(3)
constraint satisfaction
(3)
fractions
(3)
languages
(3)
linguistic complexity
(3)
logarithms
(3)
machine theory
(3)
mathematical models
(3)
mathematics of computing
(3)
membership problems
(3)
np
(3)
oracles
(3)
polynomial-time hierarchy
(3)
product
(3)
add
remove
더보기
zoom_in
재검색
언어
english
(160)
german
(2)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기