1.
|
EJ
|
出版情報: |
Elsevier ScienceDirect Journals Complete , Southampton : Elsevier |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
2.
|
EJ
|
出版情報: |
NII-REO OUP Archive Full , ENGLAND : Oxford University Press |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
3.
|
EJ
|
出版情報: |
Oxford University Press Journals Current , ENGLAND : Oxford University Press |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
4.
|
EJ
|
出版情報: |
Elsevier ScienceDirect Journals Complete , UNITED STATES : Elsevier |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
5.
|
EJ
|
出版情報: |
Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
6.
|
EJ
|
出版情報: |
Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier Science |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
7.
|
EJ
|
出版情報: |
Elsevier ScienceDirect Journals Complete , Elmsford, NY : Pergamon |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
8.
|
EJ
|
出版情報: |
Elsevier ScienceDirect Journals Complete , NETHERLANDS : Elsevier |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
9.
|
EJ
|
出版情報: |
Elsevier ScienceDirect Journals Complete , [Michigan?] : Elsevier Science |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
10.
|
EB
|
Thomas K?hne, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: |
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
11.
|
EB
|
Jon Whittle, Tony Clark, Takeo Kanade, Thomas K?hne, Association for Computing Machinery-Digital Library.
出版情報: |
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
12.
|
EB
|
Manfred Jeusfeld, Lois Delcambre, Takeo Kanade, Tok Wang Ling, Association for Computing Machinery-Digital Library.
出版情報: |
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
13.
|
EB
|
Thomas Kühne, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: |
ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
14.
|
EB
|
Nabil Abdennahder, Nabil Abdennadher, Takeo Kanade, Fabrice Kordon, Ada-Europe (Organization), Association for Computing Machinery-Digital Library.
出版情報: |
ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
15.
|
EB
|
Jon Whittle, Tony Clark, Takeo Kanade, Thomas Kühne, Association for Computing Machinery-Digital Library.
出版情報: |
ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
16.
|
EB
|
Manfred Jeusfeld, Lois Delcambre, Takeo Kanade, Tok Wang Ling, Association for Computing Machinery-Digital Library.
出版情報: |
ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
17.
|
EB
|
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: |
ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
目次情報:
続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish |
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi |
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich |
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini |
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters |
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin |
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet |
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma |
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez |
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras |
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey |
Extending the TOy System with the ECL PSe Solver over Sets of Integers |
Sonia Estévez-Martín / Jesús Correas Fernández |
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana |
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai |
Iteratees / Oleg Kiselyov |
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King |
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev |
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata |
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato |
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta |
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama |
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi |
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy |
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska |
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu |
Author Index |
Programming with Boolean Satisfaction (Abstract) / Michael Codish |
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi |
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich |
|
18.
|
EB
|
Nabil Abdennahder, Nabil Abdennadher, Takeo Kanade, Fabrice Kordon, Ada-Europe (Organization), Association for Computing Machinery-Digital Library.
出版情報: |
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
19.
|
EB
|
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: |
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
目次情報:
続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish |
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi |
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich |
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini |
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters |
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin |
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet |
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma |
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez |
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras |
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey |
Extending the TOy System with the ECL PSe Solver over Sets of Integers |
Sonia Estévez-Martín / Jesús Correas Fernández |
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana |
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai |
Iteratees / Oleg Kiselyov |
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King |
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev |
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata |
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato |
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta |
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama |
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi |
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy |
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska |
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu |
Author Index |
Programming with Boolean Satisfaction (Abstract) / Michael Codish |
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi |
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich |
|
20.
|
EJ
|
出版情報: |
EBSCOhost Academic Search Premier , Tokyo : Japan Inc Communications, K.K. |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
21.
|
EJ
|
出版情報: |
EBSCOhost Academic Search Premier , Boston, MA : Worldwide Videotex |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
22.
|
EJ
|
出版情報: |
EBSCOhost Academic Search Premier , Boca Raton, FL : Taylor & Francis Ltd |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
23.
|
EJ
|
出版情報: |
EBSCOhost Academic Search Premier , AUSTRIA : Springer Nature |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
24.
|
EB
|
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library., Josef Kittler, Peter Thiemann
出版情報: |
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
目次情報:
続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish |
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi |
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich |
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini |
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters |
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin |
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet |
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma |
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez |
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras |
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey |
Extending the TOy System with the ECL PSe Solver over Sets of Integers |
Sonia Estévez-Martín / Jesús Correas Fernández |
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana |
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai |
Iteratees / Oleg Kiselyov |
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King |
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev |
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata |
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato |
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta |
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama |
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi |
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy |
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska |
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu |
Author Index |
Programming with Boolean Satisfaction (Abstract) / Michael Codish |
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi |
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich |
|
25.
|
EB
|
Manfred Jeusfeld, Lois Delcambre, Takeo Kanade, Tok Wang Ling, Association for Computing Machinery-Digital Library.
出版情報: |
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
26.
|
EB
|
Nabil Abdennahder, Nabil Abdennadher, Takeo Kanade, Fabrice Kordon, Ada-Europe (Organization), Association for Computing Machinery-Digital Library.
出版情報: |
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
27.
|
EB
|
Jon Whittle, Tony Clark, Takeo Kanade, Thomas Kühne, Association for Computing Machinery-Digital Library.
出版情報: |
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
28.
|
EB
|
Thomas Kühne, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: |
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007 |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
29.
|
EJ
|
出版情報: |
IEEE Electronic Library (IEL) Journals , UNITED STATES : IEEE |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
30.
|
EJ
|
出版情報: |
IEEE Electronic Library (IEL) Journals , UNITED STATES : IEEE |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
31.
|
EJ
|
出版情報: |
IEEE Electronic Library (IEL) Journals , New York, NY : IEEE |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
32.
|
EJ
|
出版情報: |
IEEE Electronic Library (IEL) Journals , UNITED STATES : IEEE |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
33.
|
EJ
|
出版情報: |
IEEE Electronic Library (IEL) Journals , [New York, N.Y.] : IEEE |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
34.
|
EJ
|
出版情報: |
IEEE Electronic Library (IEL) Journals , Stevenage (Publ. & Information Services, Michael Faraday House, Six Hills Way, Stevenage, Herts SG1 2AY) : IET |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
35.
|
EJ
|
出版情報: |
SpringerLink Journals - AutoHoldings , UNITED STATES : Hybrid |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
36.
|
EJ
|
出版情報: |
SpringerLink Journals - AutoHoldings , AUSTRIA : Hybrid |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
37.
|
EJ
|
出版情報: |
SpringerLink Journals - AutoHoldings , NETHERLANDS : Hybrid |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
38.
|
EJ
|
出版情報: |
SpringerLink Journals - AutoHoldings , UNITED STATES : Hybrid |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
39.
|
EJ
|
出版情報: |
SpringerLink Journals - AutoHoldings , PEOPLES R CHINA : Hybrid |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
40.
|
EJ
|
出版情報: |
SpringerLink Journals - AutoHoldings , NETHERLANDS : Hybrid |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
41.
|
EJ
|
出版情報: |
SpringerLink Journals - AutoHoldings , GERMANY : Hybrid |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
42.
|
EJ
|
出版情報: |
SpringerLink Journals - AutoHoldings , UNITED STATES : Hybrid |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|
43.
|
EJ
|
出版情報: |
SpringerLink Journals - AutoHoldings , UNITED STATES : Hybrid |
子書誌情報: |
loading… |
所蔵情報: |
loading… |
|