◍wovepaper
SearchResearchersInstitutions
Sign in
institution

San Jose State University

United States

7 papers here21 citations across 7
fields
  • quant-ph2
  • cs.LO1
  • math.AC1
  • math.DG1
  • math.GR1
  • math.NT1
ROR 04qyvz380OpenAlex

affiliations via OpenAlex

output
20032005
most citedGeneralized Performance of Concatenated Quantum Codes -- A Dynamical Systems Approach

15 citations

researchers with a paper here
  • C. Y. Yildirim1
  • D. A. Goldston1
  • Dimitar Grantcharov1
  • Eloise Hamann1
  • Guennady A. Noskov1
  • Gueo Grantcharov1
  • J. Finkelstein1
  • Larry Wos1
  • Michael Beeson1
  • Robert Veroff1
  • Roger C. Alperin1
  • Yat Sun Poon1
collaborating institutions
  • Argonne National LaboratoryUS1 paper
  • Bielefeld UniversityDE1 paper
  • Boğaziçi UniversityTR1 paper
  • Centre National de la Recherche ScientifiqueFR1 paper
  • Florida International UniversityUS1 paper
  • Laboratoire de Recherche en InformatiqueFR1 paper
  • Russian Academy of SciencesRU1 paper
  • Université Paris CitéFR1 paper
  • Université Paris-SudFR1 paper
  • University of California, BerkeleyUS1 paper
  • University of California, RiversideUS1 paper
  • University of New MexicoUS1 paper
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2003

Double-Negation Elimination in Some Propositional Logics

Michael Beeson, Robert Veroff, Larry Wos

This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.