서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Reynier, Pierre-Alain"]

검색결과제한

  • Facet Limit
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • -

    재검색

  • 자료유형
    • Academic Journals(44)
    • Reviews(41)
    • Conference Materials(36)
    • Books(18)
    • Reports(16)
    • Magazines(1)

  • 주제어
    • [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl](22)
    • transducers(21)
    • computer science - formal languages and automata theory(19)
    • [info.info-lo]computer science [cs]/logic in computer science [cs.lo](12)
    • computer science::formal languages and automata theory(12)
    • timed automata(12)
    • computer science - logic in computer science(8)
    • decidability(8)
    • [info]computer science [cs](7)
    • automata(7)
    • machine theory(7)
    • computer science(6)
    • computer science::computation and language (computational linguistics and natural language and speech processing)(6)
    • theoryofcomputation_mathematicallogicandformallanguages(6)
    • [ info.info-fl ] computer science [cs]/formal languages and automata theory [cs.fl](5)
    • computer algorithms(5)
    • computer science - computer science and game theory(5)
    • equivalence(5)
    • functionality(5)
    • petri nets(5)
    • robustness(5)
    • visibly pushdown automata(5)
    • computingmilieux_miscellaneous(4)
    • injectivity(4)
    • mathematical proofs(4)
    • origin(4)
    • synthesis(4)
    • time petri nets(4)
    • [ info.info-lo ] computer science [cs]/logic in computer science [cs.lo](3)
    • [info.info-dm]computer science [cs]/discrete mathematics [cs.dm](3)
    • bisimulation(3)
    • boolean searching (online information retrieval)(3)
    • computer science - systems and control(3)
    • density functional theory(3)
    • expressiveness(3)
    • f.1.1(3)
    • f.4.3(3)
    • finite(3)
    • graph theory(3)
    • logics and meanings of programs(3)
    • mathematical functions(3)
    • semantics(3)
    • string theory(3)
    • timed petri nets(3)
    • trimming(3)
    • xml (extensible markup language)(3)
    • [info.info-gt]computer science [cs]/computer science and game theory [cs.gt](2)
    • 000 computer science, knowledge, general works(2)
    • algorithms(2)
    • aperiodic monoids(2)

  • 저널
    • fundamenta informaticae(12)
    • international journal of foundations of computer science(10)
    • information and computation(7)
    • developments in language theory(4)
    • theoretical computer science(4)
    • journal of computer and system sciences(3)
    • reachability problems(3)
    • 2016 31st annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2016 31st annual acm/ieee symposium on(2)
    • foundations of software science and computation structures(2)
    • foundations of software science and computational structures(2)
    • information & computation(2)
    • latin 2006: theoretical informatics(2)
    • logical methods in computer science(2)
    • mathematical foundations of computer science 2010(2)
    • proceedings of the 2015 30th annual acm,ieee symposium on logic in computer science(2)
    • proceedings of the 31st annual acm-ieee symposium on logic in computer science (lics 2016)(2)
    • 2013 28th annual acm/ieee symposium on logic in computer science(1)
    • 2013 28th annual acm/ieee symposium on logic in computer science (lics 2013)(1)
    • 30th international conference on concurrency theory(1)
    • 31st international conference on foundations of software technology and theoretical computer science(1)
    • 38th iarcs annual conference on foundations of software technology and theoretical computer science(1)
    • 46th international colloquium on automata, languages, and programming(1)
    • acm siglog news(1)
    • automata, languages & programming (9783540359074)(1)
    • automata, languages & programming: 42nd international colloquium, icalp 2015, kyoto, japan, july 6-10, 2015, proceedings, part ii(1)
    • automata, languages and programming. part ii(1)
    • automata, languages, and programming. part ii(1)
    • automated technology for verification & analysis (9783540472377)(1)
    • automated technology for verification & analysis (9783642333859)(1)
    • automated technology for verification and analysis(1)
    • computer aided verification. part i(1)
    • concur 2009 - concurrency theory(1)
    • concur 2009---concurrency theory(1)
    • concur 2013 - concurrency theory(1)
    • concur 2013---concurrency theory(1)
    • concur 2014 - concurrency theory(1)
    • developments in language theory (9783642316524)(1)
    • developments in language theory: 18th international conference, dlt 2014, ekaterinburg, russia, august 26-29, 2014. proceedings(1)
    • developments in language theory: 20th international conference, dlt 2016, montreal, canada, july 25-28, 2016, proceedings(1)
    • formal modeling & analysis of timed systems(1)
    • foundations of software science & computational structures (9783540784975)(1)
    • foundations of software science & computational structures (9783642198045)(1)
    • hybrid systems: computation & control (9783642006012)(1)
    • implementation & application of automata (9783642392733)(1)
    • journal of computer & system sciences(1)
    • logical methods in computer science (lmcs)(1)
    • proceedings of the 2013 28th annual acm ieee symposium on logic in computer science(1)
    • rairo -- theoretical informatics & applications(1)
    • rairo-theoretical informatics and applications(1)
    • reachability problems (9783642335112)(1)

  • 발행처
    • springer nature(18)
    • hal ccsd(12)
    • ios press(9)
    • springer, berlin(9)
    • springer(7)
    • springer, heidelberg(7)
    • springer, cham(6)
    • world scientific publishing company(6)
    • acm(4)
    • association for computing machinery(4)
    • schloss dagstuhl. leibniz-zent. inform., wadern(4)
    • academic press inc elsevier science(3)
    • academic press inc.(3)
    • elsevier(3)
    • elsevier inc.(3)
    • acm, new york(2)
    • elsevier b.v.(2)
    • world scientific publ co pte ltd(2)
    • edp sciences(1)
    • edp sciences s a(1)
    • elsevier bv(1)
    • elsevier science bv(1)
    • episciences.org(1)
    • eptcs, [place of publication not identified](1)
    • ieee(1)
    • ieee computer soc., los alamitos, ca(1)
    • ieee computer society(1)
    • lipics - leibniz international proceedings in informatics. 30th international conference on concurrency theory (concur 2019)(1)
    • lipics - leibniz international proceedings in informatics. 38th iarcs annual conference on foundations of software technology and theoretical computer science (fsttcs 2018)(1)
    • logical methods computer science e v(1)
    • logical methods in computer science(1)
    • logical methods in computer science association(1)
    • schloss dagstuhl--leibniz-zentrum fuer informatik(1)
    • springer berlin heidelberg(1)
    • springer-verlag(1)

  • 언어
    • english(134)
    • french(1)

  • 수록DB
    • MathSciNet via EBSCOhost(41)
    • OpenAIRE(37)
    • Complementary Index(27)
    • arXiv(16)
    • Science Citation Index(11)
    • Academic Search Complete(9)
    • ScienceDirect(4)
    • Supplemental Index(3)
    • IEEE Xplore Digital Library(2)
    • Business Source Complete(2)

152

1 - 10 다음페이지로

내보내기

내보내기
내보내기 형식을 선택하세요.

o RefWorks에서 이용 가능한 형식으로 반출합니다.

o EndNote에서 이용 가능한 형식으로 반출합니다.

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.