Search results for "pairing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Takeshi Koshiba, Katsuyuki Takashima	Pairing Cryptography Meets Isogeny: A New Framework of Isogenous Pairing Groups.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
24	Srinivasa Rao Subramanya Rao	An Improved EllipticNet Algorithm for Tate Pairing on Weierstrass' Curves, Faster Point Arithmetic and Pairing on Selmer Curves and a Note on Double Scalar Multiplication.	ATIS	2016	DBLP DOI BibTeX RDF
24	Eunjeong Lee, Hyang-Sook Lee, Cheol-Min Park	Polynomial generating pairing and its criterion for optimal pairing.	Appl. Algebra Eng. Commun. Comput.	2014	DBLP DOI BibTeX RDF
24	Naoyuki Shinohara, Takeshi Shimoyama, Takuya Hayashi 0001, Tsuyoshi Takagi	Key Length Estimation of Pairing-Based Cryptosystems Using ηT Pairing over GF(3n).	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2014	DBLP DOI BibTeX RDF
24	Shoichi Akagi, Yasuyuki Nogami	Exponentiation Inversion Problem Reduced from Fixed Argument Pairing Inversion on Twistable Ate Pairing and Its Difficulty.	IWSEC	2014	DBLP DOI BibTeX RDF
24	Takakazu Satoh	On a Relation between the Ate Pairing and the Weil Pairing for Supersingular Elliptic Curves.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
24	Seunghwan Chang, Hoon Hong, Eunjeong Lee, Hyang-Sook Lee	Reducing Pairing Inversion to Exponentiation Inversion using Non-degenerate Auxiliary Pairing.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
24	Rkia Aouinatou, Mostafa Belkasmi	Cyptanalysis CDHP , BDHP and Tate pairing under certain conditions The Tate pairing is less secure than Weil.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
24	Naoyuki Shinohara, Takeshi Shimoyama, Takuya Hayashi 0001, Tsuyoshi Takagi	Key Length Estimation of Pairing-based Cryptosystems using ηT Pairing.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
24	Takuya Hayashi 0001, Takeshi Shimoyama, Naoyuki Shinohara, Tsuyoshi Takagi	Breaking pairing-based cryptosystems using ηT pairing over GF(397).	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
24	Takuya Hayashi 0001, Takeshi Shimoyama, Naoyuki Shinohara, Tsuyoshi Takagi	Breaking Pairing-Based Cryptosystems Using η T Pairing over GF(397).	ASIACRYPT	2012	DBLP DOI BibTeX RDF
24	Naoyuki Shinohara, Takeshi Shimoyama, Takuya Hayashi 0001, Tsuyoshi Takagi	Key Length Estimation of Pairing-Based Cryptosystems Using η T Pairing.	ISPEC	2012	DBLP DOI BibTeX RDF
24	Soo-Kyung Eom, Hyang-Sook Lee, Cheol-Min Park	Optimal pairing computation over families of pairing-friendly elliptic curves.	Appl. Algebra Eng. Commun. Comput.	2011	DBLP DOI BibTeX RDF
24	Yumi Sakemi, Yasuyuki Nogami, Shoichi Takeuchi, Yoshitaka Morikawa	An Improvement of Twisted Ate Pairing Efficient for Multi-Pairing and Thread Computing.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2011	DBLP DOI BibTeX RDF
24	Tetsuya Izuta, Yasuyuki Nogami, Yoshitaka Morikawa	Efficient Non Symmetric Pairing Groups on Ordinary Pairing Friendly Curve of Embedding Degree 1.	ICC	2011	DBLP DOI BibTeX RDF
24	Amr Elmasry	Pairing heaps, scrambled pairing and square-root trees.	Int. J. Comput. Math.	2010	DBLP DOI BibTeX RDF
24	Yumi Sakemi, Kazushi Nishii, Tetsuya Izuta, Yasuyuki Nogami, Yoshitaka Morikawa	Accelerating Cross Twisted Ate Pairing with Ordinary Pairing Friendly Curve of Composite Order That Has Two Large Prime Factors.	NBiS	2010	DBLP DOI BibTeX RDF
24	Yumi Sakemi, Yoshitaka Morikawa, Yasuyuki Nogami, Hidehiro Kato	Cross twisted Xate pairing with Barreto-Naehrig curve for multi-pairing technique.	ISIT	2009	DBLP DOI BibTeX RDF
24	Yumi Sakemi, Shoichi Takeuchi, Yasuyuki Nogami, Yoshitaka Morikawa	Accelerating Twisted Ate Pairing with Frobenius Map, Small Scalar Multiplication, and Multi-pairing.	ICISC	2009	DBLP DOI BibTeX RDF
24	Zhitu Su, Hui Li 0006, Jianfeng Ma 0001	Polynomials for Ate Pairing and Atei Pairing.	IACR Cryptol. ePrint Arch.	2008	DBLP BibTeX RDF
23	Chun Chen 0003, Raymond N. J. Veldhuis	Binary Biometric Representation through Pairwise Polar Quantization.	ICB	2009	DBLP DOI BibTeX RDF	Polar quantization, pairing, face, fingerprint recognition
23	Jin-Hwan Jeong, Hag-Young Kim, Eunah Kim	Portable Device-Centric Streaming Service.	FMN	2009	DBLP DOI BibTeX RDF	Device-centric, Streaming, Pairing, Portable device
23	Ashutosh Saxena	An efficient and secure protocol for DTV broadcasts.	SIN	2009	DBLP DOI BibTeX RDF	authenticaion, settop box, bilinear pairing
23	Hua Guo, Yi Mu 0001, Xiyong Zhang, Zhoujun Li 0001	Novel and Efficient Identity-Based Authenticated Key Agreement Protocols from Weil Pairings.	UIC	2009	DBLP DOI BibTeX RDF	Master key forward secrecy, Provable security, Weil pairing, Authenticated key agreement
23	Koutarou Suzuki, Fumitaka Hoshino, Tetsutaro Kobayashi	Relinkable Ring Signature.	CANS	2009	DBLP DOI BibTeX RDF	anonymity, pairing, ring signature
23	Gaetan Bisson, Takakazu Satoh	More Discriminants with the Brezing-Weng Method.	INDOCRYPT	2008	DBLP DOI BibTeX RDF	Pairing-friendly curve generation, Brezing-Weng method
23	S. Sharmila Deva Selvi, S. Sree Vivek, Deepanshu Shukla, C. Pandu Rangan	Efficient and Provably Secure Certificateless Multi-receiver Signcryption.	ProvSec	2008	DBLP DOI BibTeX RDF	Multi-receiver, Bilinear Pairing, Signcryption, Certificateless
23	David Lubicz, Thomas Sirvent	Attribute-Based Broadcast Encryption Scheme Made Efficient.	AFRICACRYPT	2008	DBLP DOI BibTeX RDF	Public-key broadcast encryption, Generic model of groups with pairing, Attribute-based encryption
23	Murat Cenk, Ferruh Özbudak	Efficient Multiplication in F3kn, m>=1 and 5<=l<=18.	AFRICACRYPT	2008	DBLP DOI BibTeX RDF	Chinese Remainder Theorem, pairing based cryptography, finite field multiplication
23	Ke Zeng	Publicly Verifiable Remote Data Integrity.	ICICS	2008	DBLP DOI BibTeX RDF	integrity, pairing, public verifiability, data outsourcing
23	Fuchun Guo, Yi Mu 0001, Zhide Chen, Li Xu 0002	Multi-Identity Single-Key Decryption without Random Oracles.	Inscrypt	2007	DBLP DOI BibTeX RDF	ID-based Systems, Encryption, Pairing
23	Jun-Cheol Jeon, Byung-Heon Kang, Se-Min Kim, Wan-Soo Lee, Kee-Young Yoo	An Improvement of Remote User Authentication Scheme Using Smart Cards.	MSN	2006	DBLP DOI BibTeX RDF	Off-line Dictionary Attack, Bilinear Pairing, Mutual Authentication, Replay Attack, Forgery Attack
23	Walid Bagga, Refik Molva	Collusion-Free Policy-Based Encryption.	ISC	2006	DBLP DOI BibTeX RDF	Policy, Credentials, Pairing-Based Cryptography
23	Sk. Md. Mizanur Rahman, Atsuo Inomata, Takeshi Okamoto, Masahiro Mambo, Eiji Okamoto	Anonymous Secure Communication in Wireless Mobile Ad-Hoc Networks.	ICUCT	2006	DBLP DOI BibTeX RDF	Security, Routing, Ad-hoc network, Anonymity, Pairing-Based Cryptography
23	Sanjit Chatterjee, Palash Sarkar 0001	Multi-receiver Identity-Based Key Encapsulation with Shortened Ciphertext.	INDOCRYPT	2006	DBLP DOI BibTeX RDF	Multi-receiver encryption, bilinear pairing, identity based encryption
23	Jai-Boo Oh, Jun-Cheol Jeon, Kee-Young Yoo	Further Improvement of Manik et al.'s Remote User Authentication Scheme Using Smart Cards.	ISPA Workshops	2006	DBLP DOI BibTeX RDF	Off-line guessing Attack, Authentication, Bilinear Pairing, Replay Attack, Forgery Attack
23	Yu-Fang Chung, Zhen Yu Wu, Feipei Lai, Tzer-Shyong Chen	A Novel ID-Based Threshold Ring Signature Scheme Competent for Anonymity and Anti-forgery.	CIS	2006	DBLP DOI BibTeX RDF	fair partitioning, anonymity, bilinear pairing, Ring signature, threshold signature
23	Marc Girault, David Lefranc	Server-Aided Verification: Theory and Practice.	ASIACRYPT	2005	DBLP DOI BibTeX RDF	identification protocol, digital signature, zero-knowledge, discrete logarithm, pairing, non-repudiation, bilinear map, interactive proof
23	Man Ho Au, Sherman S. M. Chow, Willy Susilo	Short E-Cash.	INDOCRYPT	2005	DBLP DOI BibTeX RDF	Coin-traceability, Bilinear Pairing, E-cash
23	Noel McCullagh, Paulo S. L. M. Barreto	A New Two-Party Identity-Based Authenticated Key Agreement.	CT-RSA	2005	DBLP DOI BibTeX RDF	bilinear maps, Tate pairing, identity-based cryptography, authenticated key agreement
23	Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang	On the Security of Certificateless Signature Schemes from Asiacrypt 2003.	CANS	2005	DBLP DOI BibTeX RDF	Bilinear Pairing, Attack Model, Certificateless Cryptography, Certificateless Signature
23	Sherman S. M. Chow, Willy Susilo	Generic Construction of (Identity-Based) Perfect Concurrent Signatures.	ICICS	2005	DBLP DOI BibTeX RDF	Perfect Ambiguity, Bilinear Pairing, Fair-Exchange, Ring Signatures, Identity-based Signatures, Concurrent Signatures
23	Huai-Kuang Tsai, Jinn-Moon Yang, Yuan-Fan Tsai, Cheng-Yan Kao	Some issues of designing genetic algorithms for traveling salesman problems.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Edge assembly crossover, Heterogeneous pairing selection, Neighbor-join mutation, Genetic algorithm, Traveling salesman problem
23	Dong Jin Park, Kihyun Kim, Pil Joong Lee	Public Key Encryption with Conjunctive Field Keyword Search.	WISA	2004	DBLP DOI BibTeX RDF	pairing-based cryptography, Conjunctive keyword search
23	Ratna Dutta, Rana Barua, Palash Sarkar 0001	Provably Secure Authenticated Tree Based Group Key Agreement.	ICICS	2004	DBLP DOI BibTeX RDF	provable security, bilinear pairing, group key agreement, authenticated key agreement
23	Jae Choon Cha, Jung Hee Cheon	An Identity-Based Signature from Gap Diffie-Hellman Groups.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF	GDH group, Elliptic curve, Weil pairing, ID-based signature
23	Rana Barua, Ratna Dutta, Palash Sarkar 0001	Extending Joux's Protocol to Multi Party Key Agreement (Extended Abstract).	INDOCRYPT	2003	DBLP DOI BibTeX RDF	group key agreement, ID based cryptography, pairing based cryptography, authenticated key agreement
23	Maria A. Osorio, Fred W. Glover, Peter L. Hammer	Cutting and Surrogate Constraint Analysis for Improved Multidimensional Knapsack Solutions.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	surrogate constraints, constraint pairing, logic cuts, duality, multidimensional knapsack problem
23	Craig Gentry, Alice Silverberg	Hierarchical ID-Based Cryptography.	ASIACRYPT	2002	DBLP DOI BibTeX RDF	hierarchical identity-based cryptography, elliptic curves, identity-based cryptography, pairing-based cryptography
23	K. C. Reddy, Divya Nalla	Identity Based Authenticated Group Key Agreement Protocol.	INDOCRYPT	2002	DBLP DOI BibTeX RDF	key trees, one-way function trees, cryptography, elliptic curves, Key Agreement, group Key Agreement, Diffie-Hellman, Key Agreement Protocols, ID-based, Identity based, Weil pairing
23	Iliano Cervesato, Frank Pfenning	Linear Higher-Order Pre-Unification.	LICS	1997	DBLP DOI BibTeX RDF	linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions
23	Gilbert Verghese, John K. Tsotsos	The role of feature visibility constraints in perspective alignment.	ICIP	1995	DBLP DOI BibTeX RDF	feature visibility constraints, perspective alignment, 3D position, 3D orientation, two-dimensional image features, backprojection methods, model-based object tracking system, visibility errors frequency, pose solutions, real-time tracking system, image model feature pairing, model edges, feature extraction, tracking, edge detection, error analysis, combinatorics, model based recognition
23	Darren M. Platt, Trevor I. Dix	Stochastic assembly of contig restriction maps.	HICSS (5)	1995	DBLP DOI BibTeX RDF	cellular biophysics, stochastic assembly, contig restriction maps, genomic mapping clones, fragment measurements, restriction digest, map representation, fragment pairing, minimum message length principles, CEA gene region, chromosome 19, similarity, stochastic processes, genetics, biology computing, objective function
21	Umer Rashid, Lucia Terrenghi, Aaron J. Quigley	Labeling large displays for interaction with mobile devices: recognition of symbols for pairing techniques.	AVI	2010	DBLP DOI BibTeX RDF	communication design, intuitive interfaces, multi-display systems
21	Hoang Thanh Lam, Raffaele Perego 0001, Quan Thoi Minh Nguyen, Fabrizio Silvestri	Entry Pairing in Inverted File.	WISE	2009	DBLP DOI BibTeX RDF
21	Amr Elmasry	Pairing heaps with O(log log n) decrease cost.	SODA	2009	DBLP DOI BibTeX RDF
21	Jean-Luc Beuchat, Nicolas Brisebarre, Jérémie Detrey, Eiji Okamoto, Masaaki Shirase, Tsuyoshi Takagi	Algorithms and Arithmetic Operators for Computing the etaT Pairing in Characteristic Three.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
21	Michael Unser, Dimitri Van De Ville	The Pairing of a Wavelet Basis With a Mildly Redundant Analysis via Subband Regression.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
21	Yong Li 0001, Wenbo Wang 0007, Jia Kong, Wei Hong, Xing Zhang 0001, Mugen Peng	Power Allocation and Subcarrier Pairing in OFDM-Based Relaying Networks.	ICC	2008	DBLP DOI BibTeX RDF
21	Yiling Wen, Jianfeng Ma 0001	An Aggregate Signature Scheme with Constant Pairing Operations.	CSSE (3)	2008	DBLP DOI BibTeX RDF
21	Benjamin A. Burton	Enumeration of Non-Orientable 3-Manifolds Using Face-Pairing Graphs and Union-Find.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
21	Meng-Hui Lim, Sanggon Lee, Youngho Park 0005, Hoonjae Lee 0001	An Enhanced One-Round Pairing-Based Tripartite Authenticated Key Agreement Protocol.	ICCSA (2)	2007	DBLP DOI BibTeX RDF
21	Sihai Zhang, Shuangping Chen, Xufa Wang	Evolution of Cooperation Using Random Pairing on Social Networks.	SEAL	2006	DBLP DOI BibTeX RDF
21	Hung-Yu Chien, Ru-Yu Lin	Identity-based Key Agreement Protocol for Mobile Ad-hoc Networks Using Bilinear Pairing.	SUTC (1)	2006	DBLP DOI BibTeX RDF
21	Maurice Keller, Tim Kerins, Francis M. Crowe, William P. Marnane	FPGA Implementation of a GF(2m) Tate Pairing Architecture.	ARC	2006	DBLP DOI BibTeX RDF
21	David G. Haigh	Analytic approach to or transformations for FET circuit synthesis. Part II. Nullator-norator re-pairing and cloning.	ISCAS	2006	DBLP DOI BibTeX RDF
21	Tatsuaki Okamoto	On Pairing-Based Cryptosystems.	VIETCRYPT	2006	DBLP DOI BibTeX RDF
21	Nitesh Saxena, Jan-Erik Ekberg, Kari Kostiainen, N. Asokan	Secure Device Pairing based on a Visual Channel (Short Paper).	S&P	2006	DBLP DOI BibTeX RDF
21	Markus T. Friberg, Pedro Gonnet, Yves Barral, Nicol N. Schraudolph, Gaston H. Gonnet	Measures of Codon Bias in Yeast, the tRNA Pairing Index and Possible DNA Repair Mechanisms.	WABI	2006	DBLP DOI BibTeX RDF
21	Taejin Park, Kwang Ryel Ryu	Solving a Large-Scaled Crew Pairing Problem by Using a Genetic Algorithm.	IEA/AIE	2006	DBLP DOI BibTeX RDF
21	Mitch Lacey	Adventures in Promiscuous Pairing: Seeking Beginner's Mind.	AGILE	2006	DBLP DOI BibTeX RDF
21	Stuart W. Card, Chilukuri K. Mohan	Information theoretic indicators of fitness, relevant diversity & pairing potential in genetic programming.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
21	Frank Stajano	Repairing the Bluetooth Pairing Protocol.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
21	Ford-Long Wong, Frank Stajano, Jolyon Clulow	Repairing the Bluetooth Pairing Protocol.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
21	Jaap-Henk Hoepman	Ephemeral Pairing on Anonymous Networks.	SPC	2005	DBLP DOI BibTeX RDF
21	Joonsang Baek, Reihaneh Safavi-Naini, Willy Susilo	Certificateless Public Key Encryption Without Pairing.	ISC	2005	DBLP DOI BibTeX RDF
21	Sheng-Hua Shiau, Ren-Junn Hwang, Ming-Fuu Lin	Key Agreement Protocol Based on Weil Pairing.	AINA	2005	DBLP DOI BibTeX RDF
21	Chu-Hsing Lin, Hsiu-Hsia Lin	Secure One-Round Tripartite Authenticated Key Agreement Protocol from Weil Pairing.	AINA	2005	DBLP DOI BibTeX RDF
21	Arlo Belshee	Promiscuous Pairing and Beginner's Mind: Embrace Inexperience.	AGILE	2005	DBLP DOI BibTeX RDF
21	Kevin Burns	Bar-Gain Boxes: An Informative Illustration of the Pairing Problem.	Diagrams	2004	DBLP DOI BibTeX RDF
21	Jaap-Henk Hoepman	The Ephemeral Pairing Problem.	Financial Cryptography	2004	DBLP DOI BibTeX RDF
21	Takehiro Ito, Yuichiro Shibata, Kiyoshi Oguri	Implementation of the Extended Euclidean Algorithm for the Tate Pairing on FPGA.	FPL	2004	DBLP DOI BibTeX RDF
21	Chunbo Ma, Dake He	A New Chameleon Multi-signature Based on Bilinear Pairing.	GCC Workshops	2004	DBLP DOI BibTeX RDF
21	Philippe de Groote, Sylvain Salvati	Higher-Order Matching in the Linear lambda-calculus with Pairing.	CSL	2004	DBLP DOI BibTeX RDF
21	Yuefei Zhu, Dan Xu	An Efficient Key-Evolving Signature Scheme Based on Pairing.	FTDCS	2004	DBLP DOI BibTeX RDF
21	Benoît Libert, Jean-Jacques Quisquater	Efficient revocation and threshold pairing based cryptosystems.	PODC	2003	DBLP DOI BibTeX RDF	Public key cryptosystems, revocation, bilinear maps
21	Theodoulos Garefalakis	The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves.	LATIN	2002	DBLP DOI BibTeX RDF
21	Eric R. Verheul	Self-Blindable Credential Certificates from the Weil Pairing.	ASIACRYPT	2001	DBLP DOI BibTeX RDF
21	Dan Boneh, Matthew K. Franklin	Identity-Based Encryption from the Weil Pairing.	CRYPTO	2001	DBLP DOI BibTeX RDF
18	Yu Chen 0003, Manuel Charlemagne, Zhi Guan, Jian-bin Hu, Zhong Chen 0001	Identity-based encryption based on DHIES.	AsiaCCS	2010	DBLP DOI BibTeX RDF	DHIES, combination, identity-based encryption, bilinear map
18	Andre Kalamandeen, Adin Scannell, Eyal de Lara, Anmol Sheth, Anthony LaMarca	Ensemble: cooperative proximity-based authentication.	MobiSys	2010	DBLP DOI BibTeX RDF	authentication, ensemble, proximity
18	Severino F. Galán, Ole J. Mengshoel	Generalized crowding for genetic algorithms.	GECCO	2010	DBLP DOI BibTeX RDF	deterministic crowding, probabilistic crowding, genetic algorithms, bayesian networks, experiments, niching, markov chain analysis
18	Keita Emura, Atsuko Miyaji, Kazumasa Omote	A Dynamic Attribute-Based Group Signature Scheme and its Application in an Anonymous Survey for the Collection of Attribute Statistics.	ARES	2009	DBLP DOI BibTeX RDF
18	Moo K. Chung, Vikas Singh, Peter T. Kim, Kim M. Dalton, Richard J. Davidson	Topological Characterization of Signal in Brain Images Using Min-Max Diagrams.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
18	Junfeng Fan, Frederik Vercauteren, Ingrid Verbauwhede	Faster -Arithmetic for Cryptographic Pairings on Barreto-Naehrig Curves.	CHES	2009	DBLP DOI BibTeX RDF	BN curves, Pairings, Modular reduction
18	Luther Martin	Identity-Based Encryption and Beyond.	IEEE Secur. Priv.	2008	DBLP DOI BibTeX RDF
18	Beth Simon, Brian Hanks	First-year students' impressions of pair programming in CS1.	ACM J. Educ. Resour. Comput.	2008	DBLP DOI BibTeX RDF	debugging, CS1, Pair programming, interview, novice, qualitative
18	Brian Hanks	Problems encountered by novice pair programmers.	ACM J. Educ. Resour. Comput.	2008	DBLP DOI BibTeX RDF	Computer science education, CS1, errors, pair programming, novice
18	Haitong Sun, Zhihua Shi, Chunming Zhao, Jonathan H. Manton, Zhi Ding 0001	Progressive Linear Precoder Optimization for MIMO Packet Retransmissions Exploiting Channel Covariance Information.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
18	Albert Visser	Pairs, sets and sequences in first-order theories.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B30, 03F25, 03F40