| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Decomposition of Column-Convex Polyominoes and Two Vertex Statistics
|
Cakić, Nenad
|
|
|
|
1 |
|
artikel
|
| 2 |
A Different Construction for Some Classes of Quantum MDS Codes
|
Sarı, Mustafa
|
|
|
|
1 |
p. 35-44
|
artikel
|
| 3 |
A Graph Library for Isabelle
|
Noschinski, Lars
|
|
2014
|
|
1 |
p. 23-39
|
artikel
|
| 4 |
All Arbitrarily Fixed Generalized Banana Trees Are Graceful
|
Jeba Jesintha, J.
|
|
2011
|
|
1 |
p. 51-62
|
artikel
|
| 5 |
An Efficient Design and Implementation of the In-Parameter-Order Algorithm
|
Kleine, Kristoffer
|
|
2017
|
|
1 |
p. 51-67
|
artikel
|
| 6 |
An Improved Version of Cuckoo Hashing: Average Case Analysis of Construction Cost and Search Operations
|
Kutzelnigg, Reinhard
|
|
2009
|
|
1 |
p. 47-60
|
artikel
|
| 7 |
An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread
|
O’Neal, Allen
|
|
2011
|
|
1 |
p. 69-80
|
artikel
|
| 8 |
An Optimal Algorithm for the k-Fixed-Endpoint Path Cover on Proper Interval Graphs
|
Mertzios, George B.
|
|
2009
|
|
1 |
p. 85-96
|
artikel
|
| 9 |
A Note on Degree Conditions for Traceability in Locally Claw-Free Graphs
|
Čada, Roman
|
|
2011
|
|
1 |
p. 21-25
|
artikel
|
| 10 |
Antimagic Labeling of the Lexicographic Product Graph $$K_{m,n}[P_k]$$Km,n[Pk]
|
Lu, Yingyu
|
|
2017
|
|
1 |
p. 77-90
|
artikel
|
| 11 |
Antimagicness of Generalized Corona and Snowflake Graphs
|
Daykin, Jacqueline W.
|
|
2014
|
|
1 |
p. 105-111
|
artikel
|
| 12 |
Approximating Multidimensional Subset Sum and Minkowski Decomposition of Polygons
|
Emiris, Ioannis Z.
|
|
2017
|
|
1 |
p. 35-48
|
artikel
|
| 13 |
Arrangements on Parametric Surfaces I: General Framework and Infrastructure
|
Berberich, Eric
|
|
2010
|
|
1 |
p. 45-66
|
artikel
|
| 14 |
Arrangements on Parametric Surfaces II: Concretizations and Applications
|
Berberich, Eric
|
|
2010
|
|
1 |
p. 67-91
|
artikel
|
| 15 |
A Signature Based Border Basis Algorithm
|
Horáček, Jan
|
|
|
|
1 |
p. 177-189
|
artikel
|
| 16 |
A Single Sweep AGE Algorithm based on Off-Step Discretization for the Solution of Viscous Burgers’ Equation on a Variable Mesh
|
Talwar, Jyoti
|
|
2014
|
|
1 |
p. 85-103
|
artikel
|
| 17 |
A Survey on Hypergraph Products
|
Hellmuth, Marc
|
|
2012
|
|
1 |
p. 1-32
|
artikel
|
| 18 |
A Time-Splitting Tau Method for PDE’s: A Contribution for the Spectral Tau Toolbox Library
|
Lima, N.
|
|
|
|
1 |
|
artikel
|
| 19 |
Automated Exploration of Envelopes and Offsets with Networking of Technologies
|
Dana-Picard, Thierry
|
|
|
|
1 |
|
artikel
|
| 20 |
Automated Reasoning in Social Choice Theory: Some Remarks
|
Chatterjee, Siddharth
|
|
2014
|
|
1 |
p. 5-10
|
artikel
|
| 21 |
Automatic Constructibility Checking of a Corpus of Geometric Construction Problems
|
Schreck, Pascal
|
|
2016
|
|
1 |
p. 41-56
|
artikel
|
| 22 |
Automaticity of One-Relator Semigroups with Length Less Than or Equal to Three
|
Chen, Yuqun
|
|
2017
|
|
1 |
p. 7-33
|
artikel
|
| 23 |
CAD and Topology of Semi-Algebraic Sets
|
Lazard, Daniel
|
|
2010
|
|
1 |
p. 93-112
|
artikel
|
| 24 |
Can I Bring My Calculator to the Exam? Some Reflections on the Abstraction Level of Computer Algebra Systems
|
Roanes-Lozano, Eugenio
|
|
|
|
1 |
|
artikel
|
| 25 |
Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry
|
Shao, Changpeng
|
|
2016
|
|
1 |
p. 75-96
|
artikel
|
| 26 |
Clique Vertex Magic Cover of a Graph
|
Sugeng, K. A.
|
|
2011
|
|
1 |
p. 113-118
|
artikel
|
| 27 |
Collaborative Verification-Driven Engineering of Hybrid Systems
|
Mitsch, Stefan
|
|
2014
|
|
1 |
p. 71-97
|
artikel
|
| 28 |
Common Points Between Perturbed Chebyshev Polynomials of Second Kind
|
da Rocha, Zélia
|
|
|
|
1 |
p. 5-13
|
artikel
|
| 29 |
Computational Simulation of the Thermal Effects on Composite Slabs Under Fire Conditions
|
Piloto, Paulo A. G.
|
|
|
|
1 |
p. 155-171
|
artikel
|
| 30 |
Computing Coupled Border Bases
|
Hashemi, Amir
|
|
|
|
1 |
p. 123-140
|
artikel
|
| 31 |
Computing Holonomic D-Modules Associated to a Family of Non-isolated Hypersurface Singularities via Comprehensive Gröbner Systems of PBW Algebra
|
Tajima, Shinichi
|
|
|
|
1 |
|
artikel
|
| 32 |
Computing the Canonical Representation of Constructible Sets
|
Brunat, Josep M.
|
|
2016
|
|
1 |
p. 165-178
|
artikel
|
| 33 |
Computing the Newton Polygon of the Implicit Equation
|
Emiris, Ioannis Z.
|
|
2010
|
|
1 |
p. 25-44
|
artikel
|
| 34 |
Conditional Resolvability of Honeycomb and Hexagonal Networks
|
Rajan, B.
|
|
2011
|
|
1 |
p. 89-99
|
artikel
|
| 35 |
Constructibility Classes for Triangle Location Problems
|
Schreck, Pascal
|
|
2016
|
|
1 |
p. 27-39
|
artikel
|
| 36 |
Construction of Antimagic Labeling for the Cartesian Product of Regular Graphs
|
Phanalasy, Oudone
|
|
2011
|
|
1 |
p. 81-87
|
artikel
|
| 37 |
Construction of Transitive q-Analogs of Designs
|
Crnković, Dean
|
|
|
|
1 |
|
artikel
|
| 38 |
Coquelicot: A User-Friendly Library of Real Analysis for Coq
|
Boldo, Sylvie
|
|
2014
|
|
1 |
p. 41-62
|
artikel
|
| 39 |
Coxeter Triangulations Have Good Quality
|
Choudhary, Aruni
|
|
|
|
1 |
p. 141-176
|
artikel
|
| 40 |
Dealing with the Resolubility of Evolution Algebras
|
Fernández-Ternero, D.
|
|
|
|
1 |
|
artikel
|
| 41 |
Descriptive Proximities. Properties and Interplay Between Classical Proximities and Overlap
|
Concilio, A. Di
|
|
2017
|
|
1 |
p. 91-106
|
artikel
|
| 42 |
Detecting Curves of Symmetry in Images Via Hough Transform
|
Ricca, Giorgio
|
|
2016
|
|
1 |
p. 179-205
|
artikel
|
| 43 |
Efficient Intensional Implementation for Lazy Functional Languages
|
Charalambidis, Angelos
|
|
2008
|
|
1 |
p. 123-141
|
artikel
|
| 44 |
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
|
James, Phillip
|
|
2014
|
|
1 |
p. 11-38
|
artikel
|
| 45 |
Estimating the Employment Band of Inaction with Multiple Breaks due to Labor Market Reforms
|
Mota, P. R.
|
|
|
|
1 |
p. 121-133
|
artikel
|
| 46 |
Explicit Formulae for Integro-Differential Operational Matrices
|
Matos, José M. A.
|
|
|
|
1 |
p. 45-61
|
artikel
|
| 47 |
Exploring the Isoptics of Fermat Curves in the Affine Plane Using DGS and CAS
|
Dana-Picard, Thierry
|
|
|
|
1 |
p. 45-67
|
artikel
|
| 48 |
Finding Range Minima in the Middle: Approximations and Applications
|
Fischer, Johannes
|
|
2009
|
|
1 |
p. 17-30
|
artikel
|
| 49 |
First Order Perturbation and Local Stability of Parametrized Systems
|
Lichtblau, Daniel
|
|
2016
|
|
1 |
p. 143-163
|
artikel
|
| 50 |
Flow Graphs: Analysis with Near Sets
|
Ramanna, Sheela
|
|
2013
|
|
1 |
p. 11-29
|
artikel
|
| 51 |
Foreword
|
Miller, Mirka
|
|
2009
|
|
1 |
p. 1-2
|
artikel
|
| 52 |
Foreword
|
Gonzalez–Vega, Laureano
|
|
2010
|
|
1 |
p. 1-2
|
artikel
|
| 53 |
Foreword
|
Miller, Mirka
|
|
2011
|
|
1 |
p. 1-2
|
artikel
|
| 54 |
Foreword
|
Kerber, Manfred
|
|
2014
|
|
1 |
p. 1-4
|
artikel
|
| 55 |
Foreword
|
Sendra, J. Rafael
|
|
2016
|
|
1 |
p. 1-3
|
artikel
|
| 56 |
Foreword
|
Naimpally, Som
|
|
2013
|
|
1 |
p. 1-2
|
artikel
|
| 57 |
Foreword
|
Kotsireas, Ilias
|
|
|
|
1 |
|
artikel
|
| 58 |
Foreword to the Special Focus on Advances in Symbolic and Numeric Computation III
|
Loja, Amélia
|
|
|
|
1 |
p. 1-4
|
artikel
|
| 59 |
Foreword to the Special Focus on Advances in Symbolic and Numeric Computation IV
|
Loja, M. A. R.
|
|
|
|
1 |
|
artikel
|
| 60 |
Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science
|
Théry, Laurent
|
|
2014
|
|
1 |
p. 1-3
|
artikel
|
| 61 |
Formal Analysis of Optical Systems
|
Khan-Afshar, Sanaz
|
|
2014
|
|
1 |
p. 39-70
|
artikel
|
| 62 |
From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming
|
Plaice, John
|
|
2008
|
|
1 |
p. 37-61
|
artikel
|
| 63 |
Genetic and Algebraic Algorithms for Classifying the Items of a Likert Questionnaire
|
Galán-García, José Luis
|
|
2017
|
|
1 |
p. 49-59
|
artikel
|
| 64 |
Geodesic Universal Molecules
|
Bowers, John C.
|
|
2016
|
|
1 |
p. 115-141
|
artikel
|
| 65 |
Global Stability of a Caputo Fractional SIRS Model with General Incidence Rate
|
Sidi Ammi, Moulay Rchid
|
|
|
|
1 |
p. 91-105
|
artikel
|
| 66 |
Graceful Labelling: State of the Art, Applications and Future Directions
|
Brankovic, Ljiljana
|
|
2011
|
|
1 |
p. 11-20
|
artikel
|
| 67 |
Gröbner Systems Conversion
|
Hashemi, Amir
|
|
2017
|
|
1 |
p. 61-77
|
artikel
|
| 68 |
HOL(y)Hammer: Online ATP Service for HOL Light
|
Kaliszyk, Cezary
|
|
2014
|
|
1 |
p. 5-22
|
artikel
|
| 69 |
Improved Self-Stabilizing Algorithms for L(2, 1)-Labeling Tree Networks
|
Chaudhuri, Pranay
|
|
2011
|
|
1 |
p. 27-39
|
artikel
|
| 70 |
Inflexions of Spiric Curves: A Tale of Two Tori
|
Dana-Picard, Thierry
|
|
|
|
1 |
|
artikel
|
| 71 |
In Honour of Bill Wadge
|
Plaice, John
|
|
2008
|
|
1 |
p. 1-3
|
artikel
|
| 72 |
Integrating Lucid’s Declarative Dataflow Paradigm into Object-Orientation
|
Orchard, Dominic A.
|
|
2008
|
|
1 |
p. 103-122
|
artikel
|
| 73 |
Introducing a New Two-Parameter Invariant Function for Algebras
|
Escobar, J. M.
|
|
|
|
1 |
p. 33-44
|
artikel
|
| 74 |
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks
|
Orgun, Mehmet A.
|
|
2008
|
|
1 |
p. 143-163
|
artikel
|
| 75 |
k-Phase Oscillator Synchronization for Graph Coloring
|
Lee, Sof Anthony
|
|
2009
|
|
1 |
p. 61-72
|
artikel
|
| 76 |
Last Symbol Distribution in Pattern Avoiding Catalan Words
|
Baril, Jean-Luc
|
|
|
|
1 |
|
artikel
|
| 77 |
Linear Wirelength of Folded Hypercubes
|
Rajasingh, Indra
|
|
2011
|
|
1 |
p. 101-111
|
artikel
|
| 78 |
L(2, 1)-Labeling of Permutation and Bipartite Permutation Graphs
|
Paul, Satyabrata
|
|
2014
|
|
1 |
p. 113-123
|
artikel
|
| 79 |
Load Bearing Capacity of Light Timber Frame Walls Under Fire
|
Piloto, Paulo A. G.
|
|
|
|
1 |
|
artikel
|
| 80 |
Localizations of a Ring at Localizable Sets, their Groups of Units and Saturations
|
Bavula, V. V.
|
|
|
|
1 |
|
artikel
|
| 81 |
Local Near Sets: Pattern Discovery in Proximity Spaces
|
Peters, James F.
|
|
2013
|
|
1 |
p. 87-106
|
artikel
|
| 82 |
Loose Cover of Graphs
|
Fujita, Satoshi
|
|
2009
|
|
1 |
p. 31-38
|
artikel
|
| 83 |
Mathematics in Computer Science: After 10 Years
|
Kotsireas, Ilias S.
|
|
2017
|
|
1 |
p. 1-6
|
artikel
|
| 84 |
Metric Free Nearness Measure using Description-based Neighbourhoods
|
Henry, Christopher J.
|
|
2013
|
|
1 |
p. 51-69
|
artikel
|
| 85 |
m-Fold Hypergeometric Solutions of Linear Recurrence Equations Revisited
|
Horn, Peter
|
|
2012
|
|
1 |
p. 61-77
|
artikel
|
| 86 |
Mixed Subdivisions Suitable for the Greedy Canny–Emiris Formula
|
Checa, Carles
|
|
|
|
1 |
|
artikel
|
| 87 |
Modular Techniques for Noncommutative Gröbner Bases
|
Decker, Wolfram
|
|
|
|
1 |
p. 19-33
|
artikel
|
| 88 |
Multiplication Matrices and Ideals of Projective Dimension Zero
|
Lundqvist, Samuel
|
|
2012
|
|
1 |
p. 43-59
|
artikel
|
| 89 |
Nearness of Covering Uniformities: Theory and Application in Image Analysis
|
Fashandi, Homa
|
|
2013
|
|
1 |
p. 43-50
|
artikel
|
| 90 |
Near Sets: An Introduction
|
Peters, James F.
|
|
2013
|
|
1 |
p. 3-9
|
artikel
|
| 91 |
New Results on EX Graphs
|
Tang, Jianmin
|
|
2009
|
|
1 |
p. 119-126
|
artikel
|
| 92 |
Non-homogeneous Chain of Harmonic Oscillators
|
Bandeira, Luís
|
|
|
|
1 |
|
artikel
|
| 93 |
Nori Diagrams and Persistent Homology
|
Manin, Yuri I.
|
|
|
|
1 |
p. 77-102
|
artikel
|
| 94 |
On a 2-Orthogonal Polynomial Sequence via Quadratic Decomposition
|
Mesquita, Teresa Augusta
|
|
|
|
1 |
p. 15-31
|
artikel
|
| 95 |
On Conditional Covering Problem
|
Sivan, Balasubramanian
|
|
2009
|
|
1 |
p. 97-107
|
artikel
|
| 96 |
On Meandric Colliers
|
Panayotopoulos, A.
|
|
|
|
1 |
p. 1-8
|
artikel
|
| 97 |
On Partitional and Other Related Graphs
|
Ichishima, Rikio
|
|
2011
|
|
1 |
p. 41-50
|
artikel
|
| 98 |
On Partitional Labelings of Graphs
|
Ichishima, Rikio
|
|
2009
|
|
1 |
p. 39-45
|
artikel
|
| 99 |
On Plick Graphs with Coarseness Number One
|
Bommanahal, Basavanagoud
|
|
2011
|
|
1 |
p. 7-10
|
artikel
|
| 100 |
On the Extension of Adams–Bashforth–Moulton Methods for Numerical Integration of Delay Differential Equations and Application to the Moon’s Orbit
|
Aksim, Dan
|
|
|
|
1 |
p. 103-109
|
artikel
|
| 101 |
On the H1 Conforming Virtual Element Method for Time Dependent Stokes Equation
|
Adak, Dibyendu
|
|
|
|
1 |
p. 135-154
|
artikel
|
| 102 |
On the Pagenumber of the Cube-Connected Cycles
|
Tanaka, Yuuki
|
|
2009
|
|
1 |
p. 109-117
|
artikel
|
| 103 |
On the Topology of Real Algebraic Plane Curves
|
Cheng, Jinsan
|
|
2010
|
|
1 |
p. 113-137
|
artikel
|
| 104 |
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving
|
Botana, Francisco
|
|
2016
|
|
1 |
p. 5-25
|
artikel
|
| 105 |
Partitioning Bispanning Graphs into Spanning Trees
|
Baumgart, Matthias
|
|
2009
|
|
1 |
p. 3-15
|
artikel
|
| 106 |
Persistent Topology of Syntax
|
Port, Alexander
|
|
2017
|
|
1 |
p. 33-50
|
artikel
|
| 107 |
Play-Hysteresis in the Joint Dynamics of Employment and Investment
|
Mota, P. R.
|
|
|
|
1 |
|
artikel
|
| 108 |
Point-Free Geometries: Proximities and Quasi-Metrics
|
Di Concilio, A.
|
|
2013
|
|
1 |
p. 31-42
|
artikel
|
| 109 |
Possible Worlds Versioning
|
Mancilla, Blanca
|
|
2008
|
|
1 |
p. 63-83
|
artikel
|
| 110 |
Preemptive Scheduling of Equal-Length Jobs in Polynomial Time
|
Mertzios, George B.
|
|
2009
|
|
1 |
p. 73-84
|
artikel
|
| 111 |
Protected Cells in Compositions
|
Archibald, Margaret
|
|
|
|
1 |
|
artikel
|
| 112 |
Quantum Computation and Real Multiplication
|
Marcolli, Matilde
|
|
2014
|
|
1 |
p. 63-84
|
artikel
|
| 113 |
Querying Historical Data Over Multiple Time-Lines
|
Orgun, Mehmet A.
|
|
2008
|
|
1 |
p. 165-191
|
artikel
|
| 114 |
Recycling Proof Patterns in Coq: Case Studies
|
Heras, Jónathan
|
|
2014
|
|
1 |
p. 99-116
|
artikel
|
| 115 |
Signature-based Perceptual Nearness: Application of Near Sets to Image Retrieval
|
Henry, Christopher J.
|
|
2013
|
|
1 |
p. 71-85
|
artikel
|
| 116 |
Super Edge-Magic Models
|
López, S. C.
|
|
2011
|
|
1 |
p. 63-68
|
artikel
|
| 117 |
Supra-Hereditary Properties of Hypergraphs
|
Acharya, B. D.
|
|
2011
|
|
1 |
p. 3-6
|
artikel
|
| 118 |
Symbolic Approach to 2-Orthogonal Polynomial Solutions of a Third Order Differential Equation
|
Mesquita, Teresa Augusta
|
|
|
|
1 |
|
artikel
|
| 119 |
Symbolic Computation Applied to the Study of the Kernel of Special Classes of Paired Singular Integral Operators
|
Conceição, Ana C.
|
|
|
|
1 |
p. 63-90
|
artikel
|
| 120 |
Synchronization and Self-organization in Complex Networks for a Tuberculosis Model
|
Silva, Cristiana J.
|
|
|
|
1 |
p. 107-120
|
artikel
|
| 121 |
Syntactic Structures and Code Parameters
|
Shu, Kevin
|
|
2017
|
|
1 |
p. 79-90
|
artikel
|
| 122 |
Syntactic Structures and the General Markov Models
|
Gakkhar, Sitanshu
|
|
|
|
1 |
|
artikel
|
| 123 |
Testing Hyperbolicity of Real Polynomials
|
Dey, Papri
|
|
|
|
1 |
p. 111-121
|
artikel
|
| 124 |
The Conditional Covering Problem on Unweighted Interval Graphs with Nonuniform Coverage Radius
|
Rana, Akul
|
|
2011
|
|
1 |
p. 33-41
|
artikel
|
| 125 |
The Construction of 3D Conformal Motions
|
Dorst, Leo
|
|
2016
|
|
1 |
p. 97-113
|
artikel
|
| 126 |
The Depth of Compositions
|
Blecher, Aubrey
|
|
|
|
1 |
p. 69-76
|
artikel
|
| 127 |
The Global k-Means Clustering Analysis Based on Multi-Granulations Nearness Neighborhood
|
Wang, Lidong
|
|
2013
|
|
1 |
p. 113-124
|
artikel
|
| 128 |
The Newton Polygon of a Rational Plane Curve
|
D’Andrea, Carlos
|
|
2010
|
|
1 |
p. 3-24
|
artikel
|
| 129 |
The nth Order Implicit Differentiation Formula for Two Variables with an Application to Computing All Roots of a Transcendental Function
|
Nahay, John Michael
|
|
2012
|
|
1 |
p. 79-105
|
artikel
|
| 130 |
The Simplified Tikhonov Regularization Method for Solving a Riesz–Feller Space-Fractional Backward Diffusion Problem
|
Yang, Fan
|
|
2017
|
|
1 |
p. 91-110
|
artikel
|
| 131 |
Topological Analysis of Syntactic Structures
|
Port, Alexander
|
|
|
|
1 |
|
artikel
|
| 132 |
Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach
|
Wolski, Marcin
|
|
2013
|
|
1 |
p. 125-136
|
artikel
|
| 133 |
Towards a Certified Version of the Encyclopedia of Triangle Centers
|
Narboux, Julien
|
|
2016
|
|
1 |
p. 57-73
|
artikel
|
| 134 |
Towards a Theory of Domains for Harmonic Functions and its Symbolic Counterpart
|
Chien, Bui Van
|
|
|
|
1 |
|
artikel
|
| 135 |
Ultrafilter Completeness in $${{\varepsilon}}$$ -approach Nearness Spaces
|
Tiwari, Surabhi
|
|
2013
|
|
1 |
p. 107-111
|
artikel
|
| 136 |
Unitals in Projective Planes of Order 25
|
Stoichev, Stoicho D.
|
|
|
|
1 |
|
artikel
|
| 137 |
Usage of Modular Techniques for Efficient Computation of Ideal Operations
|
Noro, Masayuki
|
|
2017
|
|
1 |
p. 1-32
|
artikel
|
| 138 |
Using Dual Quaternion to Study Translational Surfaces
|
Wang, Haohao
|
|
2018
|
|
1 |
p. 69-75
|
artikel
|
| 139 |
Vertex Coloring of a Graph for Memory Constrained Scenarios
|
da Silva, Eduardo Sant’Ana
|
|
|
|
1 |
p. 9-17
|
artikel
|
| 140 |
Visibility Drawings of Plane 3-Trees with Minimum Area
|
Nishat, Rahnuma Islam
|
|
2011
|
|
1 |
p. 119-132
|
artikel
|
| 141 |
Wadge Degrees of Infinitary Rational Relations
|
Finkel, Olivier
|
|
2008
|
|
1 |
p. 85-102
|
artikel
|
| 142 |
Wadge Reducibility and Infinite Computations
|
Selivanov, Victor
|
|
2008
|
|
1 |
p. 5-36
|
artikel
|
Tijdschrift beschrijving